Erin is green. Erin is white. Erin is young. If something is white and young then it is big. All round things are not big. If something is white then it is blue.
Erin is green.
("Erin" "is" "green" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
If something is white and young then it is big.
((("something" "is" "white" "+") ("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
All round things are not big.
((("something" "is" "round" "+")) -> ("something" "is" "big" "-"))
If something is white then it is blue.
((("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
Erin is white.
True
1
proof
[(triple2)]
("Erin" "is" "white" "+")
triple2
Erin is not green.
False
1
inv-proof
[(triple1)]
("Erin" "is" "green" "-")
triple1
Erin is big.
True
3
proof
[(((triple2 triple3) -> rule1))]
("Erin" "is" "big" "+")
((triple2 triple3) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is not blue.
False
2
inv-proof
[(((triple2) -> rule3))]
("Erin" "is" "blue" "-")
((triple2) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is not round.
Unknown
inv-random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Erin is green.[(triple1)] Erin is white.[(triple2)] Erin is young.[(triple3)] @1: Erin is big.[(((triple2 triple3) -> rule1))] Erin is blue.[(((triple2) -> rule3))]
Erin is green.
("Erin" "is" "green" "+")
triple1
Erin is white.
("Erin" "is" "white" "+")
triple2
Erin is young.
("Erin" "is" "young" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
((triple2 triple3) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((triple2) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1