Dave is blue. Fiona is blue. Fiona is nice. Fiona is white. Gary is not blue. Gary is furry. Gary is not round. If Dave is nice then Dave is white. If someone is blue and not nice then they are white. If someone is blue then they are white. If someone is furry then they are white. All round, blue people are white. All white people are furry. If Fiona is furry and Fiona is round then Fiona is white. Furry people are quiet.
Dave is blue.
("Dave" "is" "blue" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is not round.
("Gary" "is" "round" "-")
If Dave is nice then Dave is white.
((("Dave" "is" "nice" "+")) -> ("Dave" "is" "white" "+"))
If someone is blue and not nice then they are white.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "white" "+"))
If someone is blue then they are white.
((("someone" "is" "blue" "+")) -> ("someone" "is" "white" "+"))
If someone is furry then they are white.
((("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
All round, blue people are white.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "white" "+"))
All white people are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
If Fiona is furry and Fiona is round then Fiona is white.
((("Fiona" "is" "furry" "+") ("Fiona" "is" "round" "+")) -> ("Fiona" "is" "white" "+"))
Furry people are quiet.
((("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
Fiona is blue.
True
1
proof
[(triple2)]
("Fiona" "is" "blue" "+")
triple2
Fiona is not white.
False
1
inv-proof
[(triple4 OR ((triple2) -> rule3))]
("Fiona" "is" "white" "-")
triple4
((triple2) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Gary is quiet.
True
2
proof
[(((triple6) -> rule8))]
("Gary" "is" "quiet" "+")
((triple6) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is not quiet.
False
2
inv-proof
[(((triple6) -> rule8))]
("Gary" "is" "quiet" "-")
((triple6) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Dave is furry.
True
3
proof
[(((((triple1) -> rule3)) -> rule6))]
("Dave" "is" "furry" "+")
((((triple1) -> (rule3 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is not furry.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule6))]
("Dave" "is" "furry" "-")
((((triple1) -> (rule3 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is quiet.
True
4
proof
[(((((((triple1) -> rule3)) -> rule6)) -> rule8))]
("Dave" "is" "quiet" "+")
((((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is not quiet.
False
4
inv-proof
[(((((((triple1) -> rule3)) -> rule6)) -> rule8))]
("Dave" "is" "quiet" "-")
((((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Dave is blue.[(triple1)] Fiona is blue.[(triple2)] Fiona is nice.[(triple3)] Fiona is white.[(triple4 OR ((triple2) -> rule3))] Gary is furry.[(triple6)] Gary is not blue.[(triple5)] Gary is not round.[(triple7)] @1: Dave is white.[(((triple1) -> rule3))] Fiona is furry.[(((triple4) -> rule6) OR ((((triple2) -> rule3)) -> rule6))] Gary is quiet.[(((triple6) -> rule8))] Gary is white.[(((triple6) -> rule4))] @2: Dave is furry.[(((((triple1) -> rule3)) -> rule6))] Fiona is quiet.[(((((triple4) -> rule6)) -> rule8) OR ((((((triple2) -> rule3)) -> rule6)) -> rule8))] @3: Dave is quiet.[(((((((triple1) -> rule3)) -> rule6)) -> rule8))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Fiona is white.
("Fiona" "is" "white" "+")
triple4
((triple2) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
triple6
Gary is not blue.
("Gary" "is" "blue" "-")
triple5
Gary is not round.
("Gary" "is" "round" "-")
triple7
Dave is white.
("Dave" "is" "white" "+")
((triple1) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple4) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple2) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple6) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple6) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
((((triple1) -> (rule3 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple4) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((((triple2) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
((((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3