Erin is kind. Blue, quiet things are red. All rough, red things are blue. Blue, green things are red. All blue things are green. If Erin is quiet then Erin is red. If something is kind then it is big. All rough things are blue. All red, green things are kind.
Erin is kind.
("Erin" "is" "kind" "+")
Blue, quiet things are red.
((("something" "is" "blue" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "red" "+"))
All rough, red things are blue.
((("something" "is" "rough" "+") ("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
Blue, green things are red.
((("something" "is" "blue" "+") ("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
All blue things are green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
If Erin is quiet then Erin is red.
((("Erin" "is" "quiet" "+")) -> ("Erin" "is" "red" "+"))
If something is kind then it is big.
((("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
All rough things are blue.
((("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
All red, green things are kind.
((("something" "is" "red" "+") ("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
Erin is kind.
True
1
proof
[(triple1)]
("Erin" "is" "kind" "+")
triple1
Erin is not kind.
False
1
inv-proof
[(triple1)]
("Erin" "is" "kind" "-")
triple1
Erin is big.
True
2
proof
[(((triple1) -> rule6))]
("Erin" "is" "big" "+")
((triple1) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is not big.
False
2
inv-proof
[(((triple1) -> rule6))]
("Erin" "is" "big" "-")
((triple1) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is not red.
Unknown
inv-rconc
[@2: Erin is red.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Erin" "is" "red" "-")
Erin is green.
Unknown
rconc
[@2: Erin is green.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Erin" "is" "green" "+")
Erin is not rough.
Unknown
inv-random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Erin is kind.[(triple1)] @1: Erin is big.[(((triple1) -> rule6))]
Erin is kind.
("Erin" "is" "kind" "+")
triple1
Erin is big.
("Erin" "is" "big" "+")
((triple1) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1