Anne is big. Anne is blue. Anne is kind. Anne is red. Anne is smart. Charlie is kind. Charlie is red. Charlie is rough. Charlie is smart. Fiona is big. Fiona is furry. Fiona is kind. If someone is furry then they are big. Blue, red people are furry. Kind, smart people are furry.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
If someone is furry then they are big.
((("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
Blue, red people are furry.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
Kind, smart people are furry.
((("someone" "is" "kind" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
Charlie is red.
True
1
proof
[(triple7)]
("Charlie" "is" "red" "+")
triple7
Anne is not smart.
False
1
inv-proof
[(triple5)]
("Anne" "is" "smart" "-")
triple5
Charlie is furry.
True
3
proof
[(((triple6 triple9) -> rule3))]
("Charlie" "is" "furry" "+")
((triple6 triple9) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is not furry.
False
3
inv-proof
[(((triple6 triple9) -> rule3))]
("Charlie" "is" "furry" "-")
((triple6 triple9) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Anne is big.[(triple1 OR ((((triple2 triple4) -> rule2)) -> rule1) OR ((((triple3 triple5) -> rule3)) -> rule1))] Anne is blue.[(triple2)] Anne is kind.[(triple3)] Anne is red.[(triple4)] Anne is smart.[(triple5)] Charlie is kind.[(triple6)] Charlie is red.[(triple7)] Charlie is rough.[(triple8)] Charlie is smart.[(triple9)] Fiona is big.[(triple10 OR ((triple11) -> rule1))] Fiona is furry.[(triple11)] Fiona is kind.[(triple12)] @1: Anne is furry.[(((triple2 triple4) -> rule2) OR ((triple3 triple5) -> rule3))] Charlie is furry.[(((triple6 triple9) -> rule3))] @2: Charlie is big.[(((((triple6 triple9) -> rule3)) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((((triple2 triple4) -> (rule2 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((triple3 triple5) -> (rule3 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is red.
("Charlie" "is" "red" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
triple8
Charlie is smart.
("Charlie" "is" "smart" "+")
triple9
Fiona is big.
("Fiona" "is" "big" "+")
triple10
((triple11) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple11
Fiona is kind.
("Fiona" "is" "kind" "+")
triple12
Anne is furry.
("Anne" "is" "furry" "+")
((triple2 triple4) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((triple3 triple5) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple6 triple9) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((((triple6 triple9) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2