Bob is furry. Bob is quiet. Bob is rough. Dave is red. Dave is round. Fiona is kind. Fiona is round. If something is furry and quiet then it is white. If something is round then it is white. If something is furry and quiet then it is white.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If something is furry and quiet then it is white.
((("something" "is" "furry" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
If something is round then it is white.
((("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
If something is furry and quiet then it is white.
((("something" "is" "furry" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
Dave is red.
True
1
proof
[(triple4)]
("Dave" "is" "red" "+")
triple4
Fiona is not round.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "round" "-")
triple7
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Bob is furry.[(triple1)] Bob is quiet.[(triple2)] Bob is rough.[(triple3)] Dave is red.[(triple4)] Dave is round.[(triple5)] Fiona is kind.[(triple6)] Fiona is round.[(triple7)] @1: Bob is white.[(((triple1 triple2) -> rule1) OR ((triple1 triple2) -> rule3))] Dave is white.[(((triple5) -> rule2))] Fiona is white.[(((triple7) -> rule2))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Bob is white.
("Bob" "is" "white" "+")
((triple1 triple2) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((triple1 triple2) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
((triple5) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple7) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1