Anne is big. Anne is blue. Anne is not kind. Anne is quiet. Anne is white. Charlie is blue. Charlie is furry. Charlie is quiet. Fiona is blue. Fiona is furry. Fiona is not round. Fiona is not white. All blue things are quiet. If Fiona is quiet and Fiona is big then Fiona is kind.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is not kind.
("Anne" "is" "kind" "-")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Fiona is not white.
("Fiona" "is" "white" "-")
All blue things are quiet.
((("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
If Fiona is quiet and Fiona is big then Fiona is kind.
((("Fiona" "is" "quiet" "+") ("Fiona" "is" "big" "+")) -> ("Fiona" "is" "kind" "+"))
Charlie is furry.
True
1
proof
[(triple7)]
("Charlie" "is" "furry" "+")
triple7
Fiona is round.
False
1
inv-proof
[(triple11)]
("Fiona" "is" "round" "+")
triple11
Fiona is quiet.
True
2
proof
[(((triple9) -> rule1))]
("Fiona" "is" "quiet" "+")
((triple9) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is not quiet.
False
2
inv-proof
[(((triple9) -> rule1))]
("Fiona" "is" "quiet" "-")
((triple9) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "kind" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is not kind.[(triple3)] Anne is quiet.[(triple4 OR ((triple2) -> rule1))] Anne is white.[(triple5)] Charlie is blue.[(triple6)] Charlie is furry.[(triple7)] Charlie is quiet.[(triple8 OR ((triple6) -> rule1))] Fiona is blue.[(triple9)] Fiona is furry.[(triple10)] Fiona is not round.[(triple11)] Fiona is not white.[(triple12)] @1: Fiona is quiet.[(((triple9) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is not kind.
("Anne" "is" "kind" "-")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
((triple2) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
triple5
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is furry.
("Charlie" "is" "furry" "+")
triple7
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple8
((triple6) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple9
Fiona is furry.
("Fiona" "is" "furry" "+")
triple10
Fiona is not round.
("Fiona" "is" "round" "-")
triple11
Fiona is not white.
("Fiona" "is" "white" "-")
triple12
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple9) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1