Erin is big. Erin is nice. Erin is round. Erin is young. Gary is kind. Gary is nice. Gary is round. If Erin is young and Erin is white then Erin is round. If Gary is nice then Gary is round. If Gary is round and Gary is white then Gary is young. Round, kind people are white. If Erin is smart then Erin is nice. If Gary is young then Gary is kind. Big, round people are young. Kind people are young.
Erin is big.
("Erin" "is" "big" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
If Erin is young and Erin is white then Erin is round.
((("Erin" "is" "young" "+") ("Erin" "is" "white" "+")) -> ("Erin" "is" "round" "+"))
If Gary is nice then Gary is round.
((("Gary" "is" "nice" "+")) -> ("Gary" "is" "round" "+"))
If Gary is round and Gary is white then Gary is young.
((("Gary" "is" "round" "+") ("Gary" "is" "white" "+")) -> ("Gary" "is" "young" "+"))
Round, kind people are white.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "white" "+"))
If Erin is smart then Erin is nice.
((("Erin" "is" "smart" "+")) -> ("Erin" "is" "nice" "+"))
If Gary is young then Gary is kind.
((("Gary" "is" "young" "+")) -> ("Gary" "is" "kind" "+"))
Big, round people are young.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Kind people are young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Erin is round.
True
1
proof
[(triple3)]
("Erin" "is" "round" "+")
triple3
Erin is not nice.
False
1
inv-proof
[(triple2)]
("Erin" "is" "nice" "-")
triple2
Erin is not white.
Unknown
inv-rconc
[@1: Erin is white.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "white" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
@0: Erin is big.[(triple1)] Erin is nice.[(triple2)] Erin is round.[(triple3)] Erin is young.[(triple4 OR ((triple1 triple3) -> rule7))] Gary is kind.[(triple5)] Gary is nice.[(triple6)] Gary is round.[(triple7 OR ((triple6) -> rule2))] @1: Gary is white.[(((triple7 triple5) -> rule4) OR ((((triple6) -> rule2) triple5) -> rule4))] Gary is young.[(((triple5) -> rule8) OR ((triple7 ((triple7 triple5) -> rule4)) -> rule3) OR ((((triple6) -> rule2) ((triple7 triple5) -> rule4)) -> rule3) OR ((triple7 ((((triple6) -> rule2) triple5) -> rule4)) -> rule3) OR ((((triple6) -> rule2) ((((triple6) -> rule2) triple5) -> rule4)) -> rule3))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is nice.
("Erin" "is" "nice" "+")
triple2
Erin is round.
("Erin" "is" "round" "+")
triple3
Erin is young.
("Erin" "is" "young" "+")
triple4
((triple1 triple3) -> (rule7 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple7
((triple6) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple7 triple5) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((((triple6) -> (rule2 % int2)) triple5) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((triple5) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple7 ((triple7 triple5) -> (rule4 % int2))) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((triple6) -> (rule2 % int3)) ((triple7 triple5) -> (rule4 % int2))) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((triple7 ((((triple6) -> (rule2 % int3)) triple5) -> (rule4 % int2))) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple6) -> (rule2 % int3)) ((((triple6) -> (rule2 % int3)) triple5) -> (rule4 % int2))) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3