Anne is not blue. Anne is furry. Anne is green. Anne is not kind. Bob is not big. Bob is kind. Erin is big. Erin is blue. Erin is cold. Gary is big. Gary is blue. Gary is kind. If something is kind and not big then it is cold. All big things are cold. All blue, big things are cold. If Bob is cold and Bob is green then Bob is nice. If Bob is not blue then Bob is nice. Big, cold things are not nice. If Anne is furry and Anne is cold then Anne is kind. All big things are green.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is not kind.
("Anne" "is" "kind" "-")
Bob is not big.
("Bob" "is" "big" "-")
Bob is kind.
("Bob" "is" "kind" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If something is kind and not big then it is cold.
((("something" "is" "kind" "+") ("something" "is" "big" "~")) -> ("something" "is" "cold" "+"))
All big things are cold.
((("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
All blue, big things are cold.
((("something" "is" "blue" "+") ("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
If Bob is cold and Bob is green then Bob is nice.
((("Bob" "is" "cold" "+") ("Bob" "is" "green" "+")) -> ("Bob" "is" "nice" "+"))
If Bob is not blue then Bob is nice.
((("Bob" "is" "blue" "~")) -> ("Bob" "is" "nice" "+"))
Big, cold things are not nice.
((("something" "is" "big" "+") ("something" "is" "cold" "+")) -> ("something" "is" "nice" "-"))
If Anne is furry and Anne is cold then Anne is kind.
((("Anne" "is" "furry" "+") ("Anne" "is" "cold" "+")) -> ("Anne" "is" "kind" "+"))
All big things are green.
((("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
Anne is green.
True
1
proof
[(triple3)]
("Anne" "is" "green" "+")
triple3
Erin is not blue.
False
1
inv-proof
[(triple8)]
("Erin" "is" "blue" "-")
triple8
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Bob" "is" "green" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is not blue.[(triple1)] Anne is not kind.[(triple4)] Bob is kind.[(triple6)] Bob is not big.[(triple5)] Erin is big.[(triple7)] Erin is blue.[(triple8)] Erin is cold.[(triple9 OR ((triple7) -> rule2) OR ((triple8 triple7) -> rule3))] Gary is big.[(triple10)] Gary is blue.[(triple11)] Gary is kind.[(triple12)] @1: Bob is cold.[(((triple6 triple5) -> rule1))] Erin is green.[(((triple7) -> rule8))] Erin is not nice.[(((triple7 triple9) -> rule6) OR ((triple7 ((triple7) -> rule2)) -> rule6) OR ((triple7 ((triple8 triple7) -> rule3)) -> rule6))] Gary is cold.[(((triple10) -> rule2) OR ((triple11 triple10) -> rule3))] Gary is green.[(((triple10) -> rule8))] @2: Gary is not nice.[(((triple10 ((triple10) -> rule2)) -> rule6) OR ((triple10 ((triple11 triple10) -> rule3)) -> rule6))]
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Anne is not kind.
("Anne" "is" "kind" "-")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple6
Bob is not big.
("Bob" "is" "big" "-")
triple5
Erin is big.
("Erin" "is" "big" "+")
triple7
Erin is blue.
("Erin" "is" "blue" "+")
triple8
Erin is cold.
("Erin" "is" "cold" "+")
triple9
((triple7) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple8 triple7) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple12
Bob is cold.
("Bob" "is" "cold" "+")
((triple6 triple5) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((triple7) -> (rule8 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not nice.
("Erin" "is" "nice" "-")
((triple7 triple9) -> (rule6 % int1))
Erin is not nice.
("Erin" "is" "nice" "-")
int1
((triple7 ((triple7) -> (rule2 % int2))) -> (rule6 % int1))
Erin is not nice.
("Erin" "is" "nice" "-")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((triple7 ((triple8 triple7) -> (rule3 % int2))) -> (rule6 % int1))
Erin is not nice.
("Erin" "is" "nice" "-")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((triple10) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((triple11 triple10) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple10) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not nice.
("Gary" "is" "nice" "-")
((triple10 ((triple10) -> (rule2 % int2))) -> (rule6 % int1))
Gary is not nice.
("Gary" "is" "nice" "-")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((triple10 ((triple11 triple10) -> (rule3 % int2))) -> (rule6 % int1))
Gary is not nice.
("Gary" "is" "nice" "-")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2