Bob is cold. Bob is quiet. Charlie is big. Charlie is not green. Erin is not cold. Gary is green. Gary is not quiet. All smart people are round. Green people are cold.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is not green.
("Charlie" "is" "green" "-")
Erin is not cold.
("Erin" "is" "cold" "-")
Gary is green.
("Gary" "is" "green" "+")
Gary is not quiet.
("Gary" "is" "quiet" "-")
All smart people are round.
((("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
Green people are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Charlie is not green.
True
1
proof
[(triple4)]
("Charlie" "is" "green" "-")
triple4
Gary is quiet.
False
1
inv-proof
[(triple7)]
("Gary" "is" "quiet" "+")
triple7
Gary is cold.
True
2
proof
[(((triple6) -> rule2))]
("Gary" "is" "cold" "+")
((triple6) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not cold.
False
2
inv-proof
[(((triple6) -> rule2))]
("Gary" "is" "cold" "-")
((triple6) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "round" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "round" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Bob is cold.[(triple1)] Bob is quiet.[(triple2)] Charlie is big.[(triple3)] Charlie is not green.[(triple4)] Erin is not cold.[(triple5)] Gary is green.[(triple6)] Gary is not quiet.[(triple7)] @1: Gary is cold.[(((triple6) -> rule2))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is not green.
("Charlie" "is" "green" "-")
triple4
Erin is not cold.
("Erin" "is" "cold" "-")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is not quiet.
("Gary" "is" "quiet" "-")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
((triple6) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1