Erin is rough. Erin is round. Erin is smart. Gary is blue. Gary is kind. Gary is nice. Gary is round. All smart, kind things are blue. All smart, round things are kind. If something is green and blue then it is nice. If something is blue then it is nice. Blue, kind things are rough. All kind, blue things are smart.
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
All smart, kind things are blue.
((("something" "is" "smart" "+") ("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
All smart, round things are kind.
((("something" "is" "smart" "+") ("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
If something is green and blue then it is nice.
((("something" "is" "green" "+") ("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
If something is blue then it is nice.
((("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
Blue, kind things are rough.
((("something" "is" "blue" "+") ("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
All kind, blue things are smart.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "is" "smart" "+"))
Erin is round.
True
1
proof
[(triple2)]
("Erin" "is" "round" "+")
triple2
Gary is not blue.
False
1
inv-proof
[(triple4)]
("Gary" "is" "blue" "-")
triple4
Erin is kind.
True
3
proof
[(((triple3 triple2) -> rule2))]
("Erin" "is" "kind" "+")
((triple3 triple2) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Gary is not smart.
False
3
inv-proof
[(((triple5 triple4) -> rule6))]
("Gary" "is" "smart" "-")
((triple5 triple4) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Erin is blue.
True
5
proof
[(((triple3 ((triple3 triple2) -> rule2)) -> rule1))]
("Erin" "is" "blue" "+")
((triple3 ((triple3 triple2) -> (rule2 % int2))) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is not blue.
False
5
inv-proof
[(((triple3 ((triple3 triple2) -> rule2)) -> rule1))]
("Erin" "is" "blue" "-")
((triple3 ((triple3 triple2) -> (rule2 % int2))) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
True
6
proof
[(((((triple3 ((triple3 triple2) -> rule2)) -> rule1)) -> rule4))]
("Erin" "is" "nice" "+")
((((triple3 ((triple3 triple2) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is not nice.
False
6
inv-proof
[(((((triple3 ((triple3 triple2) -> rule2)) -> rule1)) -> rule4))]
("Erin" "is" "nice" "-")
((((triple3 ((triple3 triple2) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Erin is rough.[(triple1 OR ((((triple3 ((triple3 triple2) -> rule2)) -> rule1) ((triple3 triple2) -> rule2)) -> rule5))] Erin is round.[(triple2)] Erin is smart.[(triple3)] Gary is blue.[(triple4)] Gary is kind.[(triple5)] Gary is nice.[(triple6 OR ((triple4) -> rule4))] Gary is round.[(triple7)] @1: Erin is kind.[(((triple3 triple2) -> rule2))] Gary is rough.[(((triple4 triple5) -> rule5))] Gary is smart.[(((triple5 triple4) -> rule6))] @2: Erin is blue.[(((triple3 ((triple3 triple2) -> rule2)) -> rule1))] @3: Erin is nice.[(((((triple3 ((triple3 triple2) -> rule2)) -> rule1)) -> rule4))]
Erin is rough.
("Erin" "is" "rough" "+")
triple1
((((triple3 ((triple3 triple2) -> (rule2 % int3))) -> (rule1 % int2)) ((triple3 triple2) -> (rule2 % int3))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
triple2
Erin is smart.
("Erin" "is" "smart" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple4
Gary is kind.
("Gary" "is" "kind" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
triple6
((triple4) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple7
Erin is kind.
("Erin" "is" "kind" "+")
((triple3 triple2) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple4 triple5) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple5 triple4) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((triple3 ((triple3 triple2) -> (rule2 % int2))) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
((((triple3 ((triple3 triple2) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3