Bob is green. Bob is not nice. Bob is quiet. Bob is rough. Bob is round. Bob is not smart. Fiona is not green. Fiona is not quiet. Fiona is rough. Gary is not green. Gary is nice. Gary is rough. If Bob is round and Bob is not smart then Bob is furry.
Bob is green.
("Bob" "is" "green" "+")
Bob is not nice.
("Bob" "is" "nice" "-")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is not smart.
("Bob" "is" "smart" "-")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is not green.
("Gary" "is" "green" "-")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If Bob is round and Bob is not smart then Bob is furry.
((("Bob" "is" "round" "+") ("Bob" "is" "smart" "~")) -> ("Bob" "is" "furry" "+"))
Gary is not green.
True
1
proof
[(triple10)]
("Gary" "is" "green" "-")
triple10
Gary is not nice.
False
1
inv-proof
[(triple11)]
("Gary" "is" "nice" "-")
triple11
Bob is furry.
True
3
proof
[(((triple5 triple6) -> rule1))]
("Bob" "is" "furry" "+")
((triple5 triple6) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is not furry.
False
3
inv-proof
[(((triple5 triple6) -> rule1))]
("Bob" "is" "furry" "-")
((triple5 triple6) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Gary is not quiet.
Unknown
inv-random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Bob is green.[(triple1)] Bob is not nice.[(triple2)] Bob is not smart.[(triple6)] Bob is quiet.[(triple3)] Bob is rough.[(triple4)] Bob is round.[(triple5)] Fiona is not green.[(triple7)] Fiona is not quiet.[(triple8)] Fiona is rough.[(triple9)] Gary is nice.[(triple11)] Gary is not green.[(triple10)] Gary is rough.[(triple12)] @1: Bob is furry.[(((triple5 triple6) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is not nice.
("Bob" "is" "nice" "-")
triple2
Bob is not smart.
("Bob" "is" "smart" "-")
triple6
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple5
Fiona is not green.
("Fiona" "is" "green" "-")
triple7
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple8
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is not green.
("Gary" "is" "green" "-")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple12
Bob is furry.
("Bob" "is" "furry" "+")
((triple5 triple6) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1