Anne is blue. Anne is cold. Anne is furry. Anne is kind. Anne is quiet. Anne is rough. Anne is smart. Dave is not cold. Dave is kind. Dave is rough. Dave is smart. Fiona is blue. Fiona is not furry. Fiona is quiet. Fiona is rough. Fiona is smart. Kind, smart people are furry.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Dave is not cold.
("Dave" "is" "cold" "-")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Kind, smart people are furry.
((("someone" "is" "kind" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
Anne is smart.
True
1
proof
[(triple7)]
("Anne" "is" "smart" "+")
triple7
Anne is not quiet.
False
1
inv-proof
[(triple5)]
("Anne" "is" "quiet" "-")
triple5
Dave is furry.
True
3
proof
[(((triple9 triple11) -> rule1))]
("Dave" "is" "furry" "+")
((triple9 triple11) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is not furry.
False
3
inv-proof
[(((triple9 triple11) -> rule1))]
("Dave" "is" "furry" "-")
((triple9 triple11) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
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" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3 OR ((triple4 triple7) -> rule1))] Anne is kind.[(triple4)] Anne is quiet.[(triple5)] Anne is rough.[(triple6)] Anne is smart.[(triple7)] Dave is kind.[(triple9)] Dave is not cold.[(triple8)] Dave is rough.[(triple10)] Dave is smart.[(triple11)] Fiona is blue.[(triple12)] Fiona is not furry.[(triple13)] Fiona is quiet.[(triple14)] Fiona is rough.[(triple15)] Fiona is smart.[(triple16)] @1: Dave is furry.[(((triple9 triple11) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
((triple4 triple7) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
triple4
Anne is quiet.
("Anne" "is" "quiet" "+")
triple5
Anne is rough.
("Anne" "is" "rough" "+")
triple6
Anne is smart.
("Anne" "is" "smart" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple9
Dave is not cold.
("Dave" "is" "cold" "-")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple10
Dave is smart.
("Dave" "is" "smart" "+")
triple11
Fiona is blue.
("Fiona" "is" "blue" "+")
triple12
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple13
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple14
Fiona is rough.
("Fiona" "is" "rough" "+")
triple15
Fiona is smart.
("Fiona" "is" "smart" "+")
triple16
Dave is furry.
("Dave" "is" "furry" "+")
((triple9 triple11) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1