Anne is not blue. Anne is furry. Anne is red. Anne is rough. Anne is young. Charlie is furry. Charlie is red. Charlie is rough. Charlie is smart. Charlie is white. Charlie is not young. Fiona is not blue. Fiona is furry. Fiona is smart. Fiona is young. If someone is white and not red then they are not smart. If Fiona is white then Fiona is rough. If someone is furry and young then they are white.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is not young.
("Charlie" "is" "young" "-")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If someone is white and not red then they are not smart.
((("someone" "is" "white" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "smart" "-"))
If Fiona is white then Fiona is rough.
((("Fiona" "is" "white" "+")) -> ("Fiona" "is" "rough" "+"))
If someone is furry and young then they are white.
((("someone" "is" "furry" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
Anne is furry.
True
1
proof
[(triple2)]
("Anne" "is" "furry" "+")
triple2
Charlie is not smart.
False
1
inv-proof
[(triple9)]
("Charlie" "is" "smart" "-")
triple9
Fiona is white.
True
3
proof
[(((triple13 triple15) -> rule3))]
("Fiona" "is" "white" "+")
((triple13 triple15) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Anne is not white.
False
3
inv-proof
[(((triple2 triple5) -> rule3))]
("Anne" "is" "white" "-")
((triple2 triple5) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Fiona is rough.
True
4
proof
[(((((triple13 triple15) -> rule3)) -> rule2))]
("Fiona" "is" "rough" "+")
((((triple13 triple15) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is not rough.
False
4
inv-proof
[(((((triple13 triple15) -> rule3)) -> rule2))]
("Fiona" "is" "rough" "-")
((((triple13 triple15) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is furry.[(triple2)] Anne is not blue.[(triple1)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is young.[(triple5)] Charlie is furry.[(triple6)] Charlie is not young.[(triple11)] Charlie is red.[(triple7)] Charlie is rough.[(triple8)] Charlie is smart.[(triple9)] Charlie is white.[(triple10)] Fiona is furry.[(triple13)] Fiona is not blue.[(triple12)] Fiona is smart.[(triple14)] Fiona is young.[(triple15)] @1: Anne is white.[(((triple2 triple5) -> rule3))] Fiona is white.[(((triple13 triple15) -> rule3))] @2: Fiona is rough.[(((((triple13 triple15) -> rule3)) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
Charlie is furry.
("Charlie" "is" "furry" "+")
triple6
Charlie is not young.
("Charlie" "is" "young" "-")
triple11
Charlie is red.
("Charlie" "is" "red" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
triple8
Charlie is smart.
("Charlie" "is" "smart" "+")
triple9
Charlie is white.
("Charlie" "is" "white" "+")
triple10
Fiona is furry.
("Fiona" "is" "furry" "+")
triple13
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple12
Fiona is smart.
("Fiona" "is" "smart" "+")
triple14
Fiona is young.
("Fiona" "is" "young" "+")
triple15
Anne is white.
("Anne" "is" "white" "+")
((triple2 triple5) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple13 triple15) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((((triple13 triple15) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2