Anne is not green. Charlie is not green. Charlie is quiet. Charlie is not red. Fiona is big. Fiona is not red. Harry is kind. Kind things are round.
Anne is not green.
("Anne" "is" "green" "-")
Charlie is not green.
("Charlie" "is" "green" "-")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is not red.
("Charlie" "is" "red" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not red.
("Fiona" "is" "red" "-")
Harry is kind.
("Harry" "is" "kind" "+")
Kind things are round.
((("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
Fiona is big.
True
1
proof
[(triple5)]
("Fiona" "is" "big" "+")
triple5
Anne is green.
False
1
inv-proof
[(triple1)]
("Anne" "is" "green" "+")
triple1
Harry is round.
True
2
proof
[(((triple7) -> rule1))]
("Harry" "is" "round" "+")
((triple7) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is not round.
False
2
inv-proof
[(((triple7) -> rule1))]
("Harry" "is" "round" "-")
((triple7) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "round" "-")
Anne is round.
Unknown
rconc
[@1: Anne is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "round" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is not green.[(triple1)] Charlie is not green.[(triple2)] Charlie is not red.[(triple4)] Charlie is quiet.[(triple3)] Fiona is big.[(triple5)] Fiona is not red.[(triple6)] Harry is kind.[(triple7)] @1: Harry is round.[(((triple7) -> rule1))]
Anne is not green.
("Anne" "is" "green" "-")
triple1
Charlie is not green.
("Charlie" "is" "green" "-")
triple2
Charlie is not red.
("Charlie" "is" "red" "-")
triple4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple5
Fiona is not red.
("Fiona" "is" "red" "-")
triple6
Harry is kind.
("Harry" "is" "kind" "+")
triple7
Harry is round.
("Harry" "is" "round" "+")
((triple7) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1