Dave is blue. Dave is quiet. Dave is red. Gary is big. Gary is cold. Gary is smart. Gary is white. Harry is big. Harry is blue. Harry is red. If Dave is white and Dave is smart then Dave is big. Red, white people are cold. All white, big people are blue.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
If Dave is white and Dave is smart then Dave is big.
((("Dave" "is" "white" "+") ("Dave" "is" "smart" "+")) -> ("Dave" "is" "big" "+"))
Red, white people are cold.
((("someone" "is" "red" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
All white, big people are blue.
((("someone" "is" "white" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Dave is quiet.
True
1
proof
[(triple2)]
("Dave" "is" "quiet" "+")
triple2
Dave is not quiet.
False
1
inv-proof
[(triple2)]
("Dave" "is" "quiet" "-")
triple2
Gary is blue.
True
3
proof
[(((triple7 triple4) -> rule3))]
("Gary" "is" "blue" "+")
((triple7 triple4) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is not blue.
False
3
inv-proof
[(((triple7 triple4) -> rule3))]
("Gary" "is" "blue" "-")
((triple7 triple4) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "cold" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "big" "+")
Gary is not quiet.
Unknown
inv-random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "-")
Dave is smart.
Unknown
random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "+")
@0: Dave is blue.[(triple1)] Dave is quiet.[(triple2)] Dave is red.[(triple3)] Gary is big.[(triple4)] Gary is cold.[(triple5)] Gary is smart.[(triple6)] Gary is white.[(triple7)] Harry is big.[(triple8)] Harry is blue.[(triple9)] Harry is red.[(triple10)] @1: Gary is blue.[(((triple7 triple4) -> rule3))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple5
Gary is smart.
("Gary" "is" "smart" "+")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple10
Gary is blue.
("Gary" "is" "blue" "+")
((triple7 triple4) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1