Bob is big. Bob is furry. Bob is not round. Charlie is big. Dave is big. Dave is white. Fiona is cold. Fiona is not furry. Fiona is not nice. Fiona is red. Fiona is round. Fiona is white. If something is big and not cold then it is furry.
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not round.
("Bob" "is" "round" "-")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If something is big and not cold then it is furry.
((("something" "is" "big" "+") ("something" "is" "cold" "~")) -> ("something" "is" "furry" "+"))
Fiona is red.
True
1
proof
[(triple10)]
("Fiona" "is" "red" "+")
triple10
Bob is round.
False
1
inv-proof
[(triple3)]
("Bob" "is" "round" "+")
triple3
Dave is not furry.
Unknown
inv-rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "furry" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is not round.[(triple3)] Charlie is big.[(triple4)] Dave is big.[(triple5)] Dave is white.[(triple6)] Fiona is cold.[(triple7)] Fiona is not furry.[(triple8)] Fiona is not nice.[(triple9)] Fiona is red.[(triple10)] Fiona is round.[(triple11)] Fiona is white.[(triple12)]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is not round.
("Bob" "is" "round" "-")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is white.
("Dave" "is" "white" "+")
triple6
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple8
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple9
Fiona is red.
("Fiona" "is" "red" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Fiona is white.
("Fiona" "is" "white" "+")
triple12