Dave is blue. Dave is green. Dave is nice. Dave is red. Dave is rough. Dave is smart. Fiona is smart. Red people are big. If someone is smart then they are big.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Red people are big.
((("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is smart then they are big.
((("someone" "is" "smart" "+")) -> ("someone" "is" "big" "+"))
Dave is blue.
True
1
proof
[(triple1)]
("Dave" "is" "blue" "+")
triple1
Dave is not red.
False
1
inv-proof
[(triple4)]
("Dave" "is" "red" "-")
triple4
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Dave is blue.[(triple1)] Dave is green.[(triple2)] Dave is nice.[(triple3)] Dave is red.[(triple4)] Dave is rough.[(triple5)] Dave is smart.[(triple6)] Fiona is smart.[(triple7)] @1: Dave is big.[(((triple4) -> rule1) OR ((triple6) -> rule2))] Fiona is big.[(((triple7) -> rule2))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Dave is smart.
("Dave" "is" "smart" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Dave is big.
("Dave" "is" "big" "+")
((triple4) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((triple6) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((triple7) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1