Bob is not furry. Bob is kind. Charlie is blue. Charlie is not kind. Erin is not cold. Gary is blue. Gary is not cold. If something is furry then it is blue. If Gary is cold then Gary is not rough. All quiet things are cold. Cold things are big. If Bob is quiet and Bob is furry then Bob is kind. Kind things are quiet. If something is furry and not blue then it is kind. If something is rough and not furry then it is kind.
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is kind.
("Bob" "is" "kind" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is not kind.
("Charlie" "is" "kind" "-")
Erin is not cold.
("Erin" "is" "cold" "-")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
If something is furry then it is blue.
((("something" "is" "furry" "+")) -> ("something" "is" "blue" "+"))
If Gary is cold then Gary is not rough.
((("Gary" "is" "cold" "+")) -> ("Gary" "is" "rough" "-"))
All quiet things are cold.
((("something" "is" "quiet" "+")) -> ("something" "is" "cold" "+"))
Cold things are big.
((("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
If Bob is quiet and Bob is furry then Bob is kind.
((("Bob" "is" "quiet" "+") ("Bob" "is" "furry" "+")) -> ("Bob" "is" "kind" "+"))
Kind things are quiet.
((("something" "is" "kind" "+")) -> ("something" "is" "quiet" "+"))
If something is furry and not blue then it is kind.
((("something" "is" "furry" "+") ("something" "is" "blue" "~")) -> ("something" "is" "kind" "+"))
If something is rough and not furry then it is kind.
((("something" "is" "rough" "+") ("something" "is" "furry" "~")) -> ("something" "is" "kind" "+"))
Charlie is not kind.
True
1
proof
[(triple4)]
("Charlie" "is" "kind" "-")
triple4
Gary is cold.
False
1
inv-proof
[(triple7)]
("Gary" "is" "cold" "+")
triple7
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "big" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Bob is kind.[(triple2)] Bob is not furry.[(triple1)] Charlie is blue.[(triple3)] Charlie is not kind.[(triple4)] Erin is not cold.[(triple5)] Gary is blue.[(triple6)] Gary is not cold.[(triple7)] @1: Bob is quiet.[(((triple2) -> rule6))] @2: Bob is cold.[(((((triple2) -> rule6)) -> rule3))] @3: Bob is big.[(((((((triple2) -> rule6)) -> rule3)) -> rule4))]
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is not furry.
("Bob" "is" "furry" "-")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is not kind.
("Charlie" "is" "kind" "-")
triple4
Erin is not cold.
("Erin" "is" "cold" "-")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is not cold.
("Gary" "is" "cold" "-")
triple7
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple2) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((((triple2) -> (rule6 % int2))) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
((((((triple2) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3