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