Bob is cold. Bob is nice. Bob is round. Erin is nice. Erin is quiet. Erin is not round. Erin is white. Fiona is blue. Fiona is nice. Fiona is white. All quiet, white things are not green. All green things are cold. If something is cold and not green then it is round.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is round.
("Bob" "is" "round" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is not round.
("Erin" "is" "round" "-")
Erin is white.
("Erin" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is white.
("Fiona" "is" "white" "+")
All quiet, white things are not green.
((("something" "is" "quiet" "+") ("something" "is" "white" "+")) -> ("something" "is" "green" "-"))
All green things are cold.
((("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
If something is cold and not green then it is round.
((("something" "is" "cold" "+") ("something" "is" "green" "~")) -> ("something" "is" "round" "+"))
Bob is cold.
True
1
proof
[(triple1)]
("Bob" "is" "cold" "+")
triple1
Erin is not quiet.
False
1
inv-proof
[(triple5)]
("Erin" "is" "quiet" "-")
triple5
Erin is not cold.
Unknown
inv-rconc
[@1: Erin is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "cold" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Bob is cold.[(triple1)] Bob is nice.[(triple2)] Bob is round.[(triple3)] Erin is nice.[(triple4)] Erin is not round.[(triple6)] Erin is quiet.[(triple5)] Erin is white.[(triple7)] Fiona is blue.[(triple8)] Fiona is nice.[(triple9)] Fiona is white.[(triple10)] @1: Erin is not green.[(((triple5 triple7) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
Erin is nice.
("Erin" "is" "nice" "+")
triple4
Erin is not round.
("Erin" "is" "round" "-")
triple6
Erin is quiet.
("Erin" "is" "quiet" "+")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Erin is not green.
("Erin" "is" "green" "-")
((triple5 triple7) -> (rule1 % int1))
Erin is not green.
("Erin" "is" "green" "-")
int1