Dave is big. Dave is blue. Dave is green. Dave is nice. Dave is red. Dave is rough. Dave is smart. Fiona is big. Fiona is blue. Fiona is green. Fiona is nice. Fiona is rough. Gary is green. Gary is nice. Gary is red. All smart, rough people are green. If Gary is nice then Gary is smart.
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
All smart, rough people are green.
((("someone" "is" "smart" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If Gary is nice then Gary is smart.
((("Gary" "is" "nice" "+")) -> ("Gary" "is" "smart" "+"))
Dave is nice.
True
1
proof
[(triple4)]
("Dave" "is" "nice" "+")
triple4
Gary is not green.
False
1
inv-proof
[(triple13)]
("Gary" "is" "green" "-")
triple13
Gary is smart.
True
2
proof
[(((triple14) -> rule2))]
("Gary" "is" "smart" "+")
((triple14) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is not smart.
False
2
inv-proof
[(((triple14) -> rule2))]
("Gary" "is" "smart" "-")
((triple14) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is green.[(triple3 OR ((triple7 triple6) -> rule1))] Dave is nice.[(triple4)] Dave is red.[(triple5)] Dave is rough.[(triple6)] Dave is smart.[(triple7)] Fiona is big.[(triple8)] Fiona is blue.[(triple9)] Fiona is green.[(triple10)] Fiona is nice.[(triple11)] Fiona is rough.[(triple12)] Gary is green.[(triple13)] Gary is nice.[(triple14)] Gary is red.[(triple15)] @1: Gary is smart.[(((triple14) -> rule2))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple3
((triple7 triple6) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Dave is smart.
("Dave" "is" "smart" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is blue.
("Fiona" "is" "blue" "+")
triple9
Fiona is green.
("Fiona" "is" "green" "+")
triple10
Fiona is nice.
("Fiona" "is" "nice" "+")
triple11
Fiona is rough.
("Fiona" "is" "rough" "+")
triple12
Gary is green.
("Gary" "is" "green" "+")
triple13
Gary is nice.
("Gary" "is" "nice" "+")
triple14
Gary is red.
("Gary" "is" "red" "+")
triple15
Gary is smart.
("Gary" "is" "smart" "+")
((triple14) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1