Dave is big. Dave is blue. Dave is cold. Dave is furry. Dave is nice. Dave is quiet. Dave is red. Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is nice. Gary is quiet. Harry is cold. Harry is nice. Nice people are red.
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Nice people are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
Gary is quiet.
True
1
proof
[(triple13)]
("Gary" "is" "quiet" "+")
triple13
Gary is not furry.
False
1
inv-proof
[(triple11)]
("Gary" "is" "furry" "-")
triple11
Gary is red.
True
2
proof
[(((triple12) -> rule1))]
("Gary" "is" "red" "+")
((triple12) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is not red.
False
2
inv-proof
[(((triple12) -> rule1))]
("Gary" "is" "red" "-")
((triple12) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is cold.[(triple3)] Dave is furry.[(triple4)] Dave is nice.[(triple5)] Dave is quiet.[(triple6)] Dave is red.[(triple7 OR ((triple5) -> rule1))] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is cold.[(triple10)] Gary is furry.[(triple11)] Gary is nice.[(triple12)] Gary is quiet.[(triple13)] Harry is cold.[(triple14)] Harry is nice.[(triple15)] @1: Gary is red.[(((triple12) -> rule1))] Harry is red.[(((triple15) -> rule1))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Dave is cold.
("Dave" "is" "cold" "+")
triple3
Dave is furry.
("Dave" "is" "furry" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Dave is quiet.
("Dave" "is" "quiet" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple7
((triple5) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is furry.
("Gary" "is" "furry" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple12
Gary is quiet.
("Gary" "is" "quiet" "+")
triple13
Harry is cold.
("Harry" "is" "cold" "+")
triple14
Harry is nice.
("Harry" "is" "nice" "+")
triple15
Gary is red.
("Gary" "is" "red" "+")
((triple12) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple15) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1