Erin is big. Erin is blue. Erin is cold. Erin is round. Erin is young. Gary is blue. Gary is cold. All round people are young. If someone is quiet and nice then they are cold. Round, blue people are cold. All cold, round people are nice. If Gary is cold and Gary is round then Gary is nice. Big people are cold.
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
All round people are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is quiet and nice then they are cold.
((("someone" "is" "quiet" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Round, blue people are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
All cold, round people are nice.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If Gary is cold and Gary is round then Gary is nice.
((("Gary" "is" "cold" "+") ("Gary" "is" "round" "+")) -> ("Gary" "is" "nice" "+"))
Big people are cold.
((("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Gary is cold.
True
1
proof
[(triple7)]
("Gary" "is" "cold" "+")
triple7
Gary is not cold.
False
1
inv-proof
[(triple7)]
("Gary" "is" "cold" "-")
triple7
Erin is nice.
True
3
proof
[(((triple3 triple4) -> rule4) OR ((((triple1) -> rule6) triple4) -> rule4) OR ((((triple4 triple2) -> rule3) triple4) -> rule4))]
("Erin" "is" "nice" "+")
((triple3 triple4) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((triple1) -> (rule6 % int2)) triple4) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple4 triple2) -> (rule3 % int2)) triple4) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is not nice.
False
3
inv-proof
[(((triple3 triple4) -> rule4) OR ((((triple1) -> rule6) triple4) -> rule4) OR ((((triple4 triple2) -> rule3) triple4) -> rule4))]
("Erin" "is" "nice" "-")
((triple3 triple4) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((triple1) -> (rule6 % int2)) triple4) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple4 triple2) -> (rule3 % int2)) triple4) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "nice" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "young" "+")
Gary is not quiet.
Unknown
inv-random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is cold.[(triple3 OR ((triple1) -> rule6) OR ((triple4 triple2) -> rule3))] Erin is round.[(triple4)] Erin is young.[(triple5 OR ((triple4) -> rule1))] Gary is blue.[(triple6)] Gary is cold.[(triple7)] @1: Erin is nice.[(((triple3 triple4) -> rule4) OR ((((triple1) -> rule6) triple4) -> rule4) OR ((((triple4 triple2) -> rule3) triple4) -> rule4))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is blue.
("Erin" "is" "blue" "+")
triple2
Erin is cold.
("Erin" "is" "cold" "+")
triple3
((triple1) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple4 triple2) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
triple4
Erin is young.
("Erin" "is" "young" "+")
triple5
((triple4) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Erin is nice.
("Erin" "is" "nice" "+")
((triple3 triple4) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((triple1) -> (rule6 % int2)) triple4) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple4 triple2) -> (rule3 % int2)) triple4) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2