Anne is blue. Anne is quiet. Anne is red. Bob is blue. Bob is cold. Bob is furry. Bob is red. Bob is smart. Bob is white. Erin is blue. Erin is cold. Erin is furry. Erin is quiet. Erin is red. Erin is smart. Erin is white. If Bob is white then Bob is cold. If someone is cold then they are white. Blue, furry people are red.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
If Bob is white then Bob is cold.
((("Bob" "is" "white" "+")) -> ("Bob" "is" "cold" "+"))
If someone is cold then they are white.
((("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
Blue, furry people are red.
((("someone" "is" "blue" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "red" "+"))
Anne is red.
True
1
proof
[(triple3)]
("Anne" "is" "red" "+")
triple3
Erin is not furry.
False
1
inv-proof
[(triple12)]
("Erin" "is" "furry" "-")
triple12
Anne is not white.
Unknown
inv-rconc
[@1: Anne is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "white" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is blue.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Bob is blue.[(triple4)] Bob is cold.[(triple5 OR ((triple9) -> rule1))] Bob is furry.[(triple6)] Bob is red.[(triple7 OR ((triple4 triple6) -> rule3))] Bob is smart.[(triple8)] Bob is white.[(triple9 OR ((triple5) -> rule2))] Erin is blue.[(triple10)] Erin is cold.[(triple11)] Erin is furry.[(triple12)] Erin is quiet.[(triple13)] Erin is red.[(triple14 OR ((triple10 triple12) -> rule3))] Erin is smart.[(triple15)] Erin is white.[(triple16 OR ((triple11) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
triple5
((triple9) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
triple6
Bob is red.
("Bob" "is" "red" "+")
triple7
((triple4 triple6) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
triple8
Bob is white.
("Bob" "is" "white" "+")
triple9
((triple5) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
triple10
Erin is cold.
("Erin" "is" "cold" "+")
triple11
Erin is furry.
("Erin" "is" "furry" "+")
triple12
Erin is quiet.
("Erin" "is" "quiet" "+")
triple13
Erin is red.
("Erin" "is" "red" "+")
triple14
((triple10 triple12) -> (rule3 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
triple15
Erin is white.
("Erin" "is" "white" "+")
triple16
((triple11) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1