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