Dave is big. Dave is cold. Dave is green. Dave is red. Dave is rough. Dave is white. Erin is big. Erin is cold. Erin is kind. Erin is red. Erin is not rough. Gary is not cold. Gary is green. Gary is not kind. Gary is red. Gary is white. If Dave is cold then Dave is kind.
Dave is big.
("Dave" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is not rough.
("Erin" "is" "rough" "-")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is green.
("Gary" "is" "green" "+")
Gary is not kind.
("Gary" "is" "kind" "-")
Gary is red.
("Gary" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
If Dave is cold then Dave is kind.
((("Dave" "is" "cold" "+")) -> ("Dave" "is" "kind" "+"))
Dave is rough.
True
1
proof
[(triple5)]
("Dave" "is" "rough" "+")
triple5
Erin is not kind.
False
1
inv-proof
[(triple9)]
("Erin" "is" "kind" "-")
triple9
Dave is kind.
True
2
proof
[(((triple2) -> rule1))]
("Dave" "is" "kind" "+")
((triple2) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is not kind.
False
2
inv-proof
[(((triple2) -> rule1))]
("Dave" "is" "kind" "-")
((triple2) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is green.[(triple3)] Dave is red.[(triple4)] Dave is rough.[(triple5)] Dave is white.[(triple6)] Erin is big.[(triple7)] Erin is cold.[(triple8)] Erin is kind.[(triple9)] Erin is not rough.[(triple11)] Erin is red.[(triple10)] Gary is green.[(triple13)] Gary is not cold.[(triple12)] Gary is not kind.[(triple14)] Gary is red.[(triple15)] Gary is white.[(triple16)] @1: Dave is kind.[(((triple2) -> rule1))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Dave is white.
("Dave" "is" "white" "+")
triple6
Erin is big.
("Erin" "is" "big" "+")
triple7
Erin is cold.
("Erin" "is" "cold" "+")
triple8
Erin is kind.
("Erin" "is" "kind" "+")
triple9
Erin is not rough.
("Erin" "is" "rough" "-")
triple11
Erin is red.
("Erin" "is" "red" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple13
Gary is not cold.
("Gary" "is" "cold" "-")
triple12
Gary is not kind.
("Gary" "is" "kind" "-")
triple14
Gary is red.
("Gary" "is" "red" "+")
triple15
Gary is white.
("Gary" "is" "white" "+")
triple16
Dave is kind.
("Dave" "is" "kind" "+")
((triple2) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1