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