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