Erin is big. Erin is furry. Erin is green. Erin is kind. Erin is round. Erin is white. Erin is young. Gary is big. Gary is green. Gary is white. If someone is young then they are round. All furry, big people are kind. All furry people are round. Green people are round. If Gary is big then Gary is white. All kind, furry people are big. Kind, white people are big. All round people are furry.
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is white.
("Gary" "is" "white" "+")
If someone is young then they are round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
All furry, big people are kind.
((("someone" "is" "furry" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
All furry people are round.
((("someone" "is" "furry" "+")) -> ("someone" "is" "round" "+"))
Green people are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If Gary is big then Gary is white.
((("Gary" "is" "big" "+")) -> ("Gary" "is" "white" "+"))
All kind, furry people are big.
((("someone" "is" "kind" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
Kind, white people are big.
((("someone" "is" "kind" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "big" "+"))
All round people are furry.
((("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
Erin is round.
True
1
proof
[(triple5 OR ((triple2) -> rule3) OR ((triple3) -> rule4) OR ((triple7) -> rule1))]
("Erin" "is" "round" "+")
triple5
((triple2) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple3) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple7) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Gary is not white.
False
1
inv-proof
[(triple10 OR ((triple8) -> rule5))]
("Gary" "is" "white" "-")
triple10
((triple8) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is round.
True
2
proof
[(((triple9) -> rule4))]
("Gary" "is" "round" "+")
((triple9) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
2
inv-proof
[(((triple9) -> rule4))]
("Gary" "is" "round" "-")
((triple9) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
True
3
proof
[(((((triple9) -> rule4)) -> rule8))]
("Gary" "is" "furry" "+")
((((triple9) -> (rule4 % int2))) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is not furry.
False
3
inv-proof
[(((((triple9) -> rule4)) -> rule8))]
("Gary" "is" "furry" "-")
((((triple9) -> (rule4 % int2))) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is kind.
True
5
proof
[(((((((triple9) -> rule4)) -> rule8) triple8) -> rule2))]
("Gary" "is" "kind" "+")
((((((triple9) -> (rule4 % int3))) -> (rule8 % int2)) triple8) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is not kind.
False
5
inv-proof
[(((((((triple9) -> rule4)) -> rule8) triple8) -> rule2))]
("Gary" "is" "kind" "-")
((((((triple9) -> (rule4 % int3))) -> (rule8 % int2)) triple8) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
@0: Erin is big.[(triple1 OR ((triple4 triple2) -> rule6) OR ((triple4 triple6) -> rule7) OR ((triple4 ((triple5) -> rule8)) -> rule6) OR ((triple4 ((((triple3) -> rule4)) -> rule8)) -> rule6) OR ((triple4 ((((triple7) -> rule1)) -> rule8)) -> rule6))] Erin is furry.[(triple2 OR ((triple5) -> rule8) OR ((((triple3) -> rule4)) -> rule8) OR ((((triple7) -> rule1)) -> rule8))] Erin is green.[(triple3)] Erin is kind.[(triple4 OR ((triple2 triple1) -> rule2) OR ((((triple5) -> rule8) triple1) -> rule2) OR ((((((triple3) -> rule4)) -> rule8) triple1) -> rule2) OR ((((((triple7) -> rule1)) -> rule8) triple1) -> rule2))] Erin is round.[(triple5 OR ((triple2) -> rule3) OR ((triple3) -> rule4) OR ((triple7) -> rule1))] Erin is white.[(triple6)] Erin is young.[(triple7)] Gary is big.[(triple8)] Gary is green.[(triple9)] Gary is white.[(triple10 OR ((triple8) -> rule5))] @1: Gary is round.[(((triple9) -> rule4))] @2: Gary is furry.[(((((triple9) -> rule4)) -> rule8))] @3: Gary is kind.[(((((((triple9) -> rule4)) -> rule8) triple8) -> rule2))]
Erin is big.
("Erin" "is" "big" "+")
triple1
((triple4 triple2) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple4 triple6) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple4 ((triple5) -> (rule8 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((triple4 ((((triple3) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((triple4 ((((triple7) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
triple2
((triple5) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple3) -> (rule4 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((triple7) -> (rule1 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
triple3
Erin is kind.
("Erin" "is" "kind" "+")
triple4
((triple2 triple1) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((((triple5) -> (rule8 % int2)) triple1) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((((triple3) -> (rule4 % int3))) -> (rule8 % int2)) triple1) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((((triple7) -> (rule1 % int3))) -> (rule8 % int2)) triple1) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
triple5
((triple2) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple3) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple7) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is white.
("Gary" "is" "white" "+")
triple10
((triple8) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple9) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((((triple9) -> (rule4 % int2))) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((((((triple9) -> (rule4 % int3))) -> (rule8 % int2)) triple8) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3