Bob is not quiet. Bob is not white. Erin is furry. Erin is not green. Erin is quiet. Erin is white. Fiona is red. All quiet people are not cold. All white, big people are red. Green people are red. If someone is green and not quiet then they are big. White, red people are big. If Fiona is quiet then Fiona is white.
Bob is not quiet.
("Bob" "is" "quiet" "-")
Bob is not white.
("Bob" "is" "white" "-")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is not green.
("Erin" "is" "green" "-")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is red.
("Fiona" "is" "red" "+")
All quiet people are not cold.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "-"))
All white, big people are red.
((("someone" "is" "white" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
Green people are red.
((("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is green and not quiet then they are big.
((("someone" "is" "green" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "big" "+"))
White, red people are big.
((("someone" "is" "white" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If Fiona is quiet then Fiona is white.
((("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "white" "+"))
Bob is not white.
True
1
proof
[(triple2)]
("Bob" "is" "white" "-")
triple2
Erin is green.
False
1
inv-proof
[(triple4)]
("Erin" "is" "green" "+")
triple4
Erin is not big.
Unknown
inv-rconc
[@3: Erin is big.[CWA. Example of deepest failure = (rule5 <- rule2 <- rule4 <- FAIL)]]
("Erin" "is" "big" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is not quiet.[(triple1)] Bob is not white.[(triple2)] Erin is furry.[(triple3)] Erin is not green.[(triple4)] Erin is quiet.[(triple5)] Erin is white.[(triple6)] Fiona is red.[(triple7)] @1: Erin is not cold.[(((triple5) -> rule1))]
Bob is not quiet.
("Bob" "is" "quiet" "-")
triple1
Bob is not white.
("Bob" "is" "white" "-")
triple2
Erin is furry.
("Erin" "is" "furry" "+")
triple3
Erin is not green.
("Erin" "is" "green" "-")
triple4
Erin is quiet.
("Erin" "is" "quiet" "+")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple6
Fiona is red.
("Fiona" "is" "red" "+")
triple7
Erin is not cold.
("Erin" "is" "cold" "-")
((triple5) -> (rule1 % int1))
Erin is not cold.
("Erin" "is" "cold" "-")
int1