Anne is big. Anne is green. Anne is nice. Erin is big. Erin is cold. Erin is kind. Erin is nice. Fiona is not green. Fiona is nice. Fiona is quiet. All cold people are quiet.
Anne is big.
("Anne" "is" "big" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
All cold people are quiet.
((("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
Erin is big.
True
1
proof
[(triple4)]
("Erin" "is" "big" "+")
triple4
Anne is not big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "-")
triple1
Anne is not quiet.
Unknown
inv-rconc
[@1: Anne is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "quiet" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Erin is big.[(triple4)] Erin is cold.[(triple5)] Erin is kind.[(triple6)] Erin is nice.[(triple7)] Fiona is nice.[(triple9)] Fiona is not green.[(triple8)] Fiona is quiet.[(triple10)] @1: Erin is quiet.[(((triple5) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
Erin is kind.
("Erin" "is" "kind" "+")
triple6
Erin is nice.
("Erin" "is" "nice" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is not green.
("Fiona" "is" "green" "-")
triple8
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple5) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1