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