Dave is big. Dave is blue. Dave is furry. Dave is nice. Erin is big. Erin is blue. Erin is furry. Erin is nice. Erin is smart. Fiona is big. Fiona is cold. Fiona is furry. Fiona is nice. Fiona is rough. Fiona is smart. If Dave is furry then Dave is cold. If something is blue and cold then it is smart.
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If Dave is furry then Dave is cold.
((("Dave" "is" "furry" "+")) -> ("Dave" "is" "cold" "+"))
If something is blue and cold then it is smart.
((("something" "is" "blue" "+") ("something" "is" "cold" "+")) -> ("something" "is" "smart" "+"))
Dave is big.
True
1
proof
[(triple1)]
("Dave" "is" "big" "+")
triple1
Erin is not furry.
False
1
inv-proof
[(triple7)]
("Erin" "is" "furry" "-")
triple7
Dave is cold.
True
2
proof
[(((triple3) -> rule1))]
("Dave" "is" "cold" "+")
((triple3) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not cold.
False
2
inv-proof
[(((triple3) -> rule1))]
("Dave" "is" "cold" "-")
((triple3) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is smart.
True
4
proof
[(((triple2 ((triple3) -> rule1)) -> rule2))]
("Dave" "is" "smart" "+")
((triple2 ((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not smart.
False
4
inv-proof
[(((triple2 ((triple3) -> rule1)) -> rule2))]
("Dave" "is" "smart" "-")
((triple2 ((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Erin is not cold.
Unknown
inv-random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
Erin is not rough.
Unknown
inv-random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is furry.[(triple3)] Dave is nice.[(triple4)] Erin is big.[(triple5)] Erin is blue.[(triple6)] Erin is furry.[(triple7)] Erin is nice.[(triple8)] Erin is smart.[(triple9)] Fiona is big.[(triple10)] Fiona is cold.[(triple11)] Fiona is furry.[(triple12)] Fiona is nice.[(triple13)] Fiona is rough.[(triple14)] Fiona is smart.[(triple15)] @1: Dave is cold.[(((triple3) -> rule1))] @2: Dave is smart.[(((triple2 ((triple3) -> rule1)) -> rule2))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Erin is big.
("Erin" "is" "big" "+")
triple5
Erin is blue.
("Erin" "is" "blue" "+")
triple6
Erin is furry.
("Erin" "is" "furry" "+")
triple7
Erin is nice.
("Erin" "is" "nice" "+")
triple8
Erin is smart.
("Erin" "is" "smart" "+")
triple9
Fiona is big.
("Fiona" "is" "big" "+")
triple10
Fiona is cold.
("Fiona" "is" "cold" "+")
triple11
Fiona is furry.
("Fiona" "is" "furry" "+")
triple12
Fiona is nice.
("Fiona" "is" "nice" "+")
triple13
Fiona is rough.
("Fiona" "is" "rough" "+")
triple14
Fiona is smart.
("Fiona" "is" "smart" "+")
triple15
Dave is cold.
("Dave" "is" "cold" "+")
((triple3) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
((triple2 ((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2