Erin is nice. Erin is quiet. Erin is red. Erin is rough. Gary is big. Gary is nice. Gary is quiet. Gary is red. Gary is rough. Gary is round. Gary is white. Harry is big. Harry is nice. Harry is quiet. Harry is round. Harry is white. All big, round things are rough.
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
All big, round things are rough.
((("something" "is" "big" "+") ("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
Harry is quiet.
True
1
proof
[(triple14)]
("Harry" "is" "quiet" "+")
triple14
Erin is not rough.
False
1
inv-proof
[(triple4)]
("Erin" "is" "rough" "-")
triple4
Harry is rough.
True
3
proof
[(((triple12 triple15) -> rule1))]
("Harry" "is" "rough" "+")
((triple12 triple15) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not rough.
False
3
inv-proof
[(((triple12 triple15) -> rule1))]
("Harry" "is" "rough" "-")
((triple12 triple15) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Erin is not round.
Unknown
inv-random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Erin is nice.[(triple1)] Erin is quiet.[(triple2)] Erin is red.[(triple3)] Erin is rough.[(triple4)] Gary is big.[(triple5)] Gary is nice.[(triple6)] Gary is quiet.[(triple7)] Gary is red.[(triple8)] Gary is rough.[(triple9 OR ((triple5 triple10) -> rule1))] Gary is round.[(triple10)] Gary is white.[(triple11)] Harry is big.[(triple12)] Harry is nice.[(triple13)] Harry is quiet.[(triple14)] Harry is round.[(triple15)] Harry is white.[(triple16)] @1: Harry is rough.[(((triple12 triple15) -> rule1))]
Erin is nice.
("Erin" "is" "nice" "+")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2
Erin is red.
("Erin" "is" "red" "+")
triple3
Erin is rough.
("Erin" "is" "rough" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is quiet.
("Gary" "is" "quiet" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple9
((triple5 triple10) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple10
Gary is white.
("Gary" "is" "white" "+")
triple11
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple13
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
Harry is round.
("Harry" "is" "round" "+")
triple15
Harry is white.
("Harry" "is" "white" "+")
triple16
Harry is rough.
("Harry" "is" "rough" "+")
((triple12 triple15) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1