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