Anne is big. Anne is red. Anne is white. Erin is big. Erin is cold. Erin is green. Erin is white. Green things are cold. Cold, red things are young. All green, white things are nice.
Anne is big.
("Anne" "is" "big" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is white.
("Anne" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is white.
("Erin" "is" "white" "+")
Green things are cold.
((("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
Cold, red things are young.
((("something" "is" "cold" "+") ("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
All green, white things are nice.
((("something" "is" "green" "+") ("something" "is" "white" "+")) -> ("something" "is" "nice" "+"))
Erin is green.
True
1
proof
[(triple6)]
("Erin" "is" "green" "+")
triple6
Erin is not green.
False
1
inv-proof
[(triple6)]
("Erin" "is" "green" "-")
triple6
Erin is nice.
True
3
proof
[(((triple6 triple7) -> rule3))]
("Erin" "is" "nice" "+")
((triple6 triple7) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is not nice.
False
3
inv-proof
[(((triple6 triple7) -> rule3))]
("Erin" "is" "nice" "-")
((triple6 triple7) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Anne is not cold.
Unknown
inv-rconc
[@1: Anne is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "cold" "-")
Erin is young.
Unknown
rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "young" "+")
Anne is not green.
Unknown
inv-random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Anne is big.[(triple1)] Anne is red.[(triple2)] Anne is white.[(triple3)] Erin is big.[(triple4)] Erin is cold.[(triple5 OR ((triple6) -> rule1))] Erin is green.[(triple6)] Erin is white.[(triple7)] @1: Erin is nice.[(((triple6 triple7) -> rule3))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
((triple6) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
Erin is nice.
("Erin" "is" "nice" "+")
((triple6 triple7) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1