Anne is kind. Anne is red. Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is round. Bob is white. Fiona is furry. Fiona is not green. Fiona is kind. Fiona is white. Gary is green. Gary is red. Gary is white. If someone is red and not round then they are kind. If Fiona is round then Fiona is kind. White people are red. If someone is cold then they are red. If Anne is white then Anne is not furry. If someone is red and not furry then they are green.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
If someone is red and not round then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "kind" "+"))
If Fiona is round then Fiona is kind.
((("Fiona" "is" "round" "+")) -> ("Fiona" "is" "kind" "+"))
White people are red.
((("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
If someone is cold then they are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If Anne is white then Anne is not furry.
((("Anne" "is" "white" "+")) -> ("Anne" "is" "furry" "-"))
If someone is red and not furry then they are green.
((("someone" "is" "red" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "green" "+"))
Bob is white.
True
1
proof
[(triple8)]
("Bob" "is" "white" "+")
triple8
Gary is not green.
False
1
inv-proof
[(triple13)]
("Gary" "is" "green" "-")
triple13
Bob is red.
True
2
proof
[(((triple3) -> rule4) OR ((triple8) -> rule3))]
("Bob" "is" "red" "+")
((triple3) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((triple8) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Fiona is not red.
False
2
inv-proof
[(((triple12) -> rule3))]
("Fiona" "is" "red" "-")
((triple12) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Anne is not green.
Unknown
inv-rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "green" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Anne is kind.[(triple1)] Anne is red.[(triple2)] Bob is cold.[(triple3)] Bob is furry.[(triple4)] Bob is green.[(triple5)] Bob is kind.[(triple6)] Bob is round.[(triple7)] Bob is white.[(triple8)] Fiona is furry.[(triple9)] Fiona is kind.[(triple11)] Fiona is not green.[(triple10)] Fiona is white.[(triple12)] Gary is green.[(triple13)] Gary is red.[(triple14 OR ((triple15) -> rule3))] Gary is white.[(triple15)] @1: Bob is red.[(((triple3) -> rule4) OR ((triple8) -> rule3))] Fiona is red.[(((triple12) -> rule3))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is furry.
("Bob" "is" "furry" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple6
Bob is round.
("Bob" "is" "round" "+")
triple7
Bob is white.
("Bob" "is" "white" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is kind.
("Fiona" "is" "kind" "+")
triple11
Fiona is not green.
("Fiona" "is" "green" "-")
triple10
Fiona is white.
("Fiona" "is" "white" "+")
triple12
Gary is green.
("Gary" "is" "green" "+")
triple13
Gary is red.
("Gary" "is" "red" "+")
triple14
((triple15) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple15
Bob is red.
("Bob" "is" "red" "+")
((triple3) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((triple8) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple12) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1