Dave is cold. Dave is furry. Dave is white. Erin is blue. Erin is cold. Erin is nice. Erin is quiet. Erin is white. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is round. Gary is cold. Gary is quiet. Gary is round. If Dave is round then Dave is blue. If someone is cold then they are round.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
If Dave is round then Dave is blue.
((("Dave" "is" "round" "+")) -> ("Dave" "is" "blue" "+"))
If someone is cold then they are round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
Erin is nice.
True
1
proof
[(triple6)]
("Erin" "is" "nice" "+")
triple6
Fiona is not round.
False
1
inv-proof
[(triple12 OR ((triple10) -> rule2))]
("Fiona" "is" "round" "-")
triple12
((triple10) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Erin is round.
True
2
proof
[(((triple5) -> rule2))]
("Erin" "is" "round" "+")
((triple5) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Dave is not round.
False
2
inv-proof
[(((triple1) -> rule2))]
("Dave" "is" "round" "-")
((triple1) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
True
3
proof
[(((((triple1) -> rule2)) -> rule1))]
("Dave" "is" "blue" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is not blue.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule1))]
("Dave" "is" "blue" "-")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Gary is not white.
Unknown
inv-random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2)] Dave is white.[(triple3)] Erin is blue.[(triple4)] Erin is cold.[(triple5)] Erin is nice.[(triple6)] Erin is quiet.[(triple7)] Erin is white.[(triple8)] Fiona is blue.[(triple9)] Fiona is cold.[(triple10)] Fiona is furry.[(triple11)] Fiona is round.[(triple12 OR ((triple10) -> rule2))] Gary is cold.[(triple13)] Gary is quiet.[(triple14)] Gary is round.[(triple15 OR ((triple13) -> rule2))] @1: Dave is round.[(((triple1) -> rule2))] Erin is round.[(((triple5) -> rule2))] @2: Dave is blue.[(((((triple1) -> rule2)) -> rule1))]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is white.
("Dave" "is" "white" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple6
Erin is quiet.
("Erin" "is" "quiet" "+")
triple7
Erin is white.
("Erin" "is" "white" "+")
triple8
Fiona is blue.
("Fiona" "is" "blue" "+")
triple9
Fiona is cold.
("Fiona" "is" "cold" "+")
triple10
Fiona is furry.
("Fiona" "is" "furry" "+")
triple11
Fiona is round.
("Fiona" "is" "round" "+")
triple12
((triple10) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
triple13
Gary is quiet.
("Gary" "is" "quiet" "+")
triple14
Gary is round.
("Gary" "is" "round" "+")
triple15
((triple13) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple1) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple5) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2