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