Dave is big. Dave is cold. Dave is nice. Fiona is big. Fiona is blue. Fiona is red. Gary is green. Gary is nice. Gary is quiet. Gary is red. If Fiona is green then Fiona is blue. If Dave is cold and Dave is nice then Dave is green. If someone is red then they are nice. Nice, blue people are red. Green people are blue. If Gary is cold then Gary is nice.
Dave is big.
("Dave" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
If Fiona is green then Fiona is blue.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "blue" "+"))
If Dave is cold and Dave is nice then Dave is green.
((("Dave" "is" "cold" "+") ("Dave" "is" "nice" "+")) -> ("Dave" "is" "green" "+"))
If someone is red then they are nice.
((("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
Nice, blue people are red.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Green people are blue.
((("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If Gary is cold then Gary is nice.
((("Gary" "is" "cold" "+")) -> ("Gary" "is" "nice" "+"))
Fiona is big.
True
1
proof
[(triple4)]
("Fiona" "is" "big" "+")
triple4
Gary is not quiet.
False
1
inv-proof
[(triple9)]
("Gary" "is" "quiet" "-")
triple9
Gary is blue.
True
2
proof
[(((triple7) -> rule5))]
("Gary" "is" "blue" "+")
((triple7) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Dave is not green.
False
3
inv-proof
[(((triple2 triple3) -> rule2))]
("Dave" "is" "green" "-")
((triple2 triple3) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
True
4
proof
[(((((triple2 triple3) -> rule2)) -> rule5))]
("Dave" "is" "blue" "+")
((((triple2 triple3) -> (rule2 % int2))) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is not blue.
False
4
inv-proof
[(((((triple2 triple3) -> rule2)) -> rule5))]
("Dave" "is" "blue" "-")
((((triple2 triple3) -> (rule2 % int2))) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Dave is not quiet.
Unknown
inv-random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is nice.[(triple3)] Fiona is big.[(triple4)] Fiona is blue.[(triple5)] Fiona is red.[(triple6)] Gary is green.[(triple7)] Gary is nice.[(triple8 OR ((triple10) -> rule3))] Gary is quiet.[(triple9)] Gary is red.[(triple10 OR ((triple8 ((triple7) -> rule5)) -> rule4))] @1: Dave is green.[(((triple2 triple3) -> rule2))] Fiona is nice.[(((triple6) -> rule3))] Gary is blue.[(((triple7) -> rule5))] @2: Dave is blue.[(((((triple2 triple3) -> rule2)) -> rule5))] @3: Dave is red.[(((triple3 ((((triple2 triple3) -> rule2)) -> rule5)) -> rule4))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple8
((triple10) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple10
((triple8 ((triple7) -> (rule5 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((triple2 triple3) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple6) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple7) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((((triple2 triple3) -> (rule2 % int2))) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((triple3 ((((triple2 triple3) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3