Bob is not furry. Bob is quiet. Bob is round. Bob is not smart. Bob is white. Charlie is blue. Charlie is furry. Charlie is quiet. Charlie is red. Charlie is round. Charlie is not smart. Charlie is white. If something is quiet then it is round.
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is not smart.
("Bob" "is" "smart" "-")
Bob is white.
("Bob" "is" "white" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is not smart.
("Charlie" "is" "smart" "-")
Charlie is white.
("Charlie" "is" "white" "+")
If something is quiet then it is round.
((("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
Charlie is white.
True
1
proof
[(triple12)]
("Charlie" "is" "white" "+")
triple12
Bob is not round.
False
1
inv-proof
[(triple3 OR ((triple2) -> rule1))]
("Bob" "is" "round" "-")
triple3
((triple2) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Bob is not furry.[(triple1)] Bob is not smart.[(triple4)] Bob is quiet.[(triple2)] Bob is round.[(triple3 OR ((triple2) -> rule1))] Bob is white.[(triple5)] Charlie is blue.[(triple6)] Charlie is furry.[(triple7)] Charlie is not smart.[(triple11)] Charlie is quiet.[(triple8)] Charlie is red.[(triple9)] Charlie is round.[(triple10 OR ((triple8) -> rule1))] Charlie is white.[(triple12)]
Bob is not furry.
("Bob" "is" "furry" "-")
triple1
Bob is not smart.
("Bob" "is" "smart" "-")
triple4
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
((triple2) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
triple5
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is furry.
("Charlie" "is" "furry" "+")
triple7
Charlie is not smart.
("Charlie" "is" "smart" "-")
triple11
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple8
Charlie is red.
("Charlie" "is" "red" "+")
triple9
Charlie is round.
("Charlie" "is" "round" "+")
triple10
((triple8) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
triple12