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