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