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