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