Bob is not round. Charlie is big. Charlie is furry. Charlie is nice. Charlie is round. Charlie is smart. Charlie is white. All white, smart things are furry. If Bob is furry and Bob is red then Bob is round.
Bob is not round.
("Bob" "is" "round" "-")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
All white, smart things are furry.
((("something" "is" "white" "+") ("something" "is" "smart" "+")) -> ("something" "is" "furry" "+"))
If Bob is furry and Bob is red then Bob is round.
((("Bob" "is" "furry" "+") ("Bob" "is" "red" "+")) -> ("Bob" "is" "round" "+"))
Bob is not round.
True
1
proof
[(triple1)]
("Bob" "is" "round" "-")
triple1
Bob is round.
False
1
inv-proof
[(triple1)]
("Bob" "is" "round" "+")
triple1
Bob is not furry.
Unknown
inv-rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "furry" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Bob is not round.[(triple1)] Charlie is big.[(triple2)] Charlie is furry.[(triple3 OR ((triple7 triple6) -> rule1))] Charlie is nice.[(triple4)] Charlie is round.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7)]
Bob is not round.
("Bob" "is" "round" "-")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple2
Charlie is furry.
("Charlie" "is" "furry" "+")
triple3
((triple7 triple6) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Charlie is smart.
("Charlie" "is" "smart" "+")
triple6
Charlie is white.
("Charlie" "is" "white" "+")
triple7