Anne is furry. Anne is green. Charlie is green. Charlie is red. Charlie is rough. Fiona is not rough. Fiona is round. Fiona is white. Harry is green. Harry is young. White people are green.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
White people are green.
((("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
Fiona is round.
True
1
proof
[(triple7)]
("Fiona" "is" "round" "+")
triple7
Fiona is not white.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "white" "-")
triple8
Fiona is green.
True
2
proof
[(((triple8) -> rule1))]
("Fiona" "is" "green" "+")
((triple8) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not green.
False
2
inv-proof
[(((triple8) -> rule1))]
("Fiona" "is" "green" "-")
((triple8) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Anne is not red.
Unknown
inv-random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Charlie is green.[(triple3)] Charlie is red.[(triple4)] Charlie is rough.[(triple5)] Fiona is not rough.[(triple6)] Fiona is round.[(triple7)] Fiona is white.[(triple8)] Harry is green.[(triple9)] Harry is young.[(triple10)] @1: Fiona is green.[(((triple8) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Fiona is white.
("Fiona" "is" "white" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Fiona is green.
("Fiona" "is" "green" "+")
((triple8) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1