Bob is big. Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is nice. Charlie is cold. Charlie is nice. Erin is green. Erin is kind. Fiona is big. Fiona is furry. Nice, green things are furry. All kind things are nice. All nice things are round. All green, round things are kind. Cold things are green. All nice, kind things are green. Cold things are nice. If something is round then it is cold. If something is big then it is nice.
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Nice, green things are furry.
((("something" "is" "nice" "+") ("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
All kind things are nice.
((("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
All nice things are round.
((("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
All green, round things are kind.
((("something" "is" "green" "+") ("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
Cold things are green.
((("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
All nice, kind things are green.
((("something" "is" "nice" "+") ("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
Cold things are nice.
((("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
If something is round then it is cold.
((("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
If something is big then it is nice.
((("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
Fiona is big.
True
1
proof
[(triple11)]
("Fiona" "is" "big" "+")
triple11
Bob is not furry.
False
1
inv-proof
[(triple3 OR ((triple6 triple4) -> rule1) OR ((triple6 ((triple2) -> rule5)) -> rule1) OR ((triple6 ((triple6 triple5) -> rule6)) -> rule1) OR ((((triple1) -> rule9) triple4) -> rule1) OR ((((triple2) -> rule7) triple4) -> rule1) OR ((((triple5) -> rule2) triple4) -> rule1) OR ((((triple1) -> rule9) ((triple2) -> rule5)) -> rule1) OR ((((triple1) -> rule9) ((triple6 triple5) -> rule6)) -> rule1) OR ((((triple2) -> rule7) ((triple2) -> rule5)) -> rule1) OR ((((triple2) -> rule7) ((triple6 triple5) -> rule6)) -> rule1) OR ((((triple5) -> rule2) ((triple2) -> rule5)) -> rule1) OR ((((triple5) -> rule2) ((triple6 triple5) -> rule6)) -> rule1) OR ((triple6 ((((triple1) -> rule9) triple5) -> rule6)) -> rule1) OR ((triple6 ((((triple2) -> rule7) triple5) -> rule6)) -> rule1) OR ((triple6 ((((triple5) -> rule2) triple5) -> rule6)) -> rule1) OR ((((triple1) -> rule9) ((((triple1) -> rule9) triple5) -> rule6)) -> rule1) OR ((((triple1) -> rule9) ((((triple2) -> rule7) triple5) -> rule6)) -> rule1) OR ((((triple1) -> rule9) ((((triple5) -> rule2) triple5) -> rule6)) -> rule1) OR ((((triple2) -> rule7) ((((triple1) -> rule9) triple5) -> rule6)) -> rule1) OR ((((triple2) -> rule7) ((((triple2) -> rule7) triple5) -> rule6)) -> rule1) OR ((((triple2) -> rule7) ((((triple5) -> rule2) triple5) -> rule6)) -> rule1) OR ((((triple5) -> rule2) ((((triple1) -> rule9) triple5) -> rule6)) -> rule1) OR ((((triple5) -> rule2) ((((triple2) -> rule7) triple5) -> rule6)) -> rule1) OR ((((triple5) -> rule2) ((((triple5) -> rule2) triple5) -> rule6)) -> rule1) OR ((triple6 ((((((triple6) -> rule3)) -> rule8)) -> rule5)) -> rule1) OR ((((triple1) -> rule9) ((((((triple6) -> rule3)) -> rule8)) -> rule5)) -> rule1) OR ((((triple2) -> rule7) ((((((triple6) -> rule3)) -> rule8)) -> rule5)) -> rule1) OR ((((triple5) -> rule2) ((((((triple6) -> rule3)) -> rule8)) -> rule5)) -> rule1) OR ((triple6 ((((((((triple1) -> rule9)) -> rule3)) -> rule8)) -> rule5)) -> rule1) OR ((triple6 ((((((((triple5) -> rule2)) -> rule3)) -> rule8)) -> rule5)) -> rule1) OR ((((triple1) -> rule9) ((((((((triple1) -> rule9)) -> rule3)) -> rule8)) -> rule5)) -> rule1) OR ((((triple1) -> rule9) ((((((((triple5) -> rule2)) -> rule3)) -> rule8)) -> rule5)) -> rule1) OR ((((triple2) -> rule7) ((((((((triple1) -> rule9)) -> rule3)) -> rule8)) -> rule5)) -> rule1) OR ((((triple2) -> rule7) ((((((((triple5) -> rule2)) -> rule3)) -> rule8)) -> rule5)) -> rule1) OR ((((triple5) -> rule2) ((((((((triple1) -> rule9)) -> rule3)) -> rule8)) -> rule5)) -> rule1) OR ((((triple5) -> rule2) ((((((((triple5) -> rule2)) -> rule3)) -> rule8)) -> rule5)) -> rule1))]
("Bob" "is" "furry" "-")
triple3
((triple6 triple4) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple6 ((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((triple6 ((triple6 triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple1) -> (rule9 % int2)) triple4) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple2) -> (rule7 % int2)) triple4) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple5) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple1) -> (rule9 % int3)) ((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple1) -> (rule9 % int3)) ((triple6 triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple2) -> (rule7 % int3)) ((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple2) -> (rule7 % int3)) ((triple6 triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple5) -> (rule2 % int3)) ((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple5) -> (rule2 % int3)) ((triple6 triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((triple6 ((((triple1) -> (rule9 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((triple6 ((((triple2) -> (rule7 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((triple6 ((((triple5) -> (rule2 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple1) -> (rule9 % int3)) ((((triple1) -> (rule9 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple1) -> (rule9 % int3)) ((((triple2) -> (rule7 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple1) -> (rule9 % int3)) ((((triple5) -> (rule2 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple2) -> (rule7 % int3)) ((((triple1) -> (rule9 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple2) -> (rule7 % int3)) ((((triple2) -> (rule7 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple2) -> (rule7 % int3)) ((((triple5) -> (rule2 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple5) -> (rule2 % int3)) ((((triple1) -> (rule9 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple5) -> (rule2 % int3)) ((((triple2) -> (rule7 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple5) -> (rule2 % int3)) ((((triple5) -> (rule2 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((triple6 ((((((triple6) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple1) -> (rule9 % int5)) ((((((triple6) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple2) -> (rule7 % int5)) ((((((triple6) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple5) -> (rule2 % int5)) ((((((triple6) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((triple6 ((((((((triple1) -> (rule9 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((triple6 ((((((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple1) -> (rule9 % int5)) ((((((((triple1) -> (rule9 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple1) -> (rule9 % int5)) ((((((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple2) -> (rule7 % int5)) ((((((((triple1) -> (rule9 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple2) -> (rule7 % int5)) ((((((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple5) -> (rule2 % int5)) ((((((((triple1) -> (rule9 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple5) -> (rule2 % int5)) ((((((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Charlie is green.
True
2
proof
[(((triple7) -> rule5) OR ((((((triple8) -> rule3)) -> rule8)) -> rule5))]
("Charlie" "is" "green" "+")
((triple7) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((((((triple8) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Erin is not nice.
False
2
inv-proof
[(((triple10) -> rule2))]
("Erin" "is" "nice" "-")
((triple10) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is furry.
True
4
proof
[(((((triple10) -> rule2) triple9) -> rule1) OR ((((triple10) -> rule2) ((((triple10) -> rule2) triple10) -> rule6)) -> rule1) OR ((((triple10) -> rule2) ((((((((triple10) -> rule2)) -> rule3)) -> rule8)) -> rule5)) -> rule1))]
("Erin" "is" "furry" "+")
((((triple10) -> (rule2 % int2)) triple9) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((triple10) -> (rule2 % int3)) ((((triple10) -> (rule2 % int3)) triple10) -> (rule6 % int2))) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((triple10) -> (rule2 % int5)) ((((((((triple10) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Charlie is not furry.
False
4
inv-proof
[(((triple8 ((triple7) -> rule5)) -> rule1) OR ((((triple7) -> rule7) ((triple7) -> rule5)) -> rule1) OR ((triple8 ((((((triple8) -> rule3)) -> rule8)) -> rule5)) -> rule1) OR ((((triple7) -> rule7) ((((((triple8) -> rule3)) -> rule8)) -> rule5)) -> rule1))]
("Charlie" "is" "furry" "-")
((triple8 ((triple7) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((((triple7) -> (rule7 % int3)) ((triple7) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((triple8 ((((((triple8) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple7) -> (rule7 % int5)) ((((((triple8) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
Fiona is cold.
True
4
proof
[(((((((triple11) -> rule9)) -> rule3)) -> rule8))]
("Fiona" "is" "cold" "+")
((((((triple11) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Erin is not cold.
False
4
inv-proof
[(((((((triple10) -> rule2)) -> rule3)) -> rule8))]
("Erin" "is" "cold" "-")
((((((triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Fiona is green.
True
5
proof
[(((((((((triple11) -> rule9)) -> rule3)) -> rule8)) -> rule5))]
("Fiona" "is" "green" "+")
((((((((triple11) -> (rule9 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is not green.
False
5
inv-proof
[(((((((((triple11) -> rule9)) -> rule3)) -> rule8)) -> rule5))]
("Fiona" "is" "green" "-")
((((((((triple11) -> (rule9 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is kind.
True
9
proof
[(((((((((((triple11) -> rule9)) -> rule3)) -> rule8)) -> rule5) ((((triple11) -> rule9)) -> rule3)) -> rule4))]
("Fiona" "is" "kind" "+")
((((((((((triple11) -> (rule9 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) ((((triple11) -> (rule9 % int5))) -> (rule3 % int4))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
Fiona is not kind.
False
9
inv-proof
[(((((((((((triple11) -> rule9)) -> rule3)) -> rule8)) -> rule5) ((((triple11) -> rule9)) -> rule3)) -> rule4))]
("Fiona" "is" "kind" "-")
((((((((((triple11) -> (rule9 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) ((((triple11) -> (rule9 % int5))) -> (rule3 % int4))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((((triple6) -> rule3)) -> rule8) OR ((((((triple1) -> rule9)) -> rule3)) -> rule8) OR ((((((triple5) -> rule2)) -> rule3)) -> rule8))] Bob is furry.[(triple3 OR ((triple6 triple4) -> rule1) OR ((triple6 ((triple2) -> rule5)) -> rule1) OR ((triple6 ((triple6 triple5) -> rule6)) -> rule1) OR ((((triple1) -> rule9) triple4) -> rule1) OR ((((triple2) -> rule7) triple4) -> rule1) OR ((((triple5) -> rule2) triple4) -> rule1) OR ((((triple1) -> rule9) ((triple2) -> rule5)) -> rule1) OR ((((triple1) -> rule9) ((triple6 triple5) -> rule6)) -> rule1) OR ((((triple2) -> rule7) ((triple2) -> rule5)) -> rule1) OR ((((triple2) -> rule7) ((triple6 triple5) -> rule6)) -> rule1) OR ((((triple5) -> rule2) ((triple2) -> rule5)) -> rule1) OR ((((triple5) -> rule2) ((triple6 triple5) -> rule6)) -> rule1) OR ((triple6 ((((triple1) -> rule9) triple5) -> rule6)) -> rule1) OR ((triple6 ((((triple2) -> rule7) triple5) -> rule6)) -> rule1) OR ((triple6 ((((triple5) -> rule2) triple5) -> rule6)) -> rule1) OR ((((triple1) -> rule9) ((((triple1) -> rule9) triple5) -> rule6)) -> rule1) OR ((((triple1) -> rule9) ((((triple2) -> rule7) triple5) -> rule6)) -> rule1) OR ((((triple1) -> rule9) ((((triple5) -> rule2) triple5) -> rule6)) -> rule1) OR ((((triple2) -> rule7) ((((triple1) -> rule9) triple5) -> rule6)) -> rule1) OR ((((triple2) -> rule7) ((((triple2) -> rule7) triple5) -> rule6)) -> rule1) OR ((((triple2) -> rule7) ((((triple5) -> rule2) triple5) -> rule6)) -> rule1) OR ((((triple5) -> rule2) ((((triple1) -> rule9) triple5) -> rule6)) -> rule1) OR ((((triple5) -> rule2) ((((triple2) -> rule7) triple5) -> rule6)) -> rule1) OR ((((triple5) -> rule2) ((((triple5) -> rule2) triple5) -> rule6)) -> rule1) OR ((triple6 ((((((triple6) -> rule3)) -> rule8)) -> rule5)) -> rule1) OR ((((triple1) -> rule9) ((((((triple6) -> rule3)) -> rule8)) -> rule5)) -> rule1) OR ((((triple2) -> rule7) ((((((triple6) -> rule3)) -> rule8)) -> rule5)) -> rule1) OR ((((triple5) -> rule2) ((((((triple6) -> rule3)) -> rule8)) -> rule5)) -> rule1) OR ((triple6 ((((((((triple1) -> rule9)) -> rule3)) -> rule8)) -> rule5)) -> rule1) OR ((triple6 ((((((((triple5) -> rule2)) -> rule3)) -> rule8)) -> rule5)) -> rule1) OR ((((triple1) -> rule9) ((((((((triple1) -> rule9)) -> rule3)) -> rule8)) -> rule5)) -> rule1) OR ((((triple1) -> rule9) ((((((((triple5) -> rule2)) -> rule3)) -> rule8)) -> rule5)) -> rule1) OR ((((triple2) -> rule7) ((((((((triple1) -> rule9)) -> rule3)) -> rule8)) -> rule5)) -> rule1) OR ((((triple2) -> rule7) ((((((((triple5) -> rule2)) -> rule3)) -> rule8)) -> rule5)) -> rule1) OR ((((triple5) -> rule2) ((((((((triple1) -> rule9)) -> rule3)) -> rule8)) -> rule5)) -> rule1) OR ((((triple5) -> rule2) ((((((((triple5) -> rule2)) -> rule3)) -> rule8)) -> rule5)) -> rule1))] Bob is green.[(triple4 OR ((triple2) -> rule5) OR ((triple6 triple5) -> rule6) OR ((((triple1) -> rule9) triple5) -> rule6) OR ((((triple2) -> rule7) triple5) -> rule6) OR ((((triple5) -> rule2) triple5) -> rule6) OR ((((((triple6) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple1) -> rule9)) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple5) -> rule2)) -> rule3)) -> rule8)) -> rule5))] Bob is kind.[(triple5 OR ((triple4 ((triple6) -> rule3)) -> rule4) OR ((((triple2) -> rule5) ((triple6) -> rule3)) -> rule4) OR ((triple4 ((((triple1) -> rule9)) -> rule3)) -> rule4) OR ((triple4 ((((triple2) -> rule7)) -> rule3)) -> rule4) OR ((((triple2) -> rule5) ((((triple1) -> rule9)) -> rule3)) -> rule4) OR ((((triple2) -> rule5) ((((triple2) -> rule7)) -> rule3)) -> rule4) OR ((((((((triple6) -> rule3)) -> rule8)) -> rule5) ((triple6) -> rule3)) -> rule4) OR ((((((((triple6) -> rule3)) -> rule8)) -> rule5) ((((triple1) -> rule9)) -> rule3)) -> rule4) OR ((((((((triple6) -> rule3)) -> rule8)) -> rule5) ((((triple2) -> rule7)) -> rule3)) -> rule4) OR ((((((((((triple1) -> rule9)) -> rule3)) -> rule8)) -> rule5) ((triple6) -> rule3)) -> rule4) OR ((((((((((triple1) -> rule9)) -> rule3)) -> rule8)) -> rule5) ((((triple1) -> rule9)) -> rule3)) -> rule4) OR ((((((((((triple1) -> rule9)) -> rule3)) -> rule8)) -> rule5) ((((triple2) -> rule7)) -> rule3)) -> rule4))] Bob is nice.[(triple6 OR ((triple1) -> rule9) OR ((triple2) -> rule7) OR ((triple5) -> rule2))] Charlie is cold.[(triple7 OR ((((triple8) -> rule3)) -> rule8))] Charlie is nice.[(triple8 OR ((triple7) -> rule7))] Erin is green.[(triple9 OR ((((triple10) -> rule2) triple10) -> rule6) OR ((((((((triple10) -> rule2)) -> rule3)) -> rule8)) -> rule5))] Erin is kind.[(triple10)] Fiona is big.[(triple11)] Fiona is furry.[(triple12 OR ((((triple11) -> rule9) ((((((((triple11) -> rule9)) -> rule3)) -> rule8)) -> rule5)) -> rule1))] @1: Bob is round.[(((triple6) -> rule3) OR ((((triple1) -> rule9)) -> rule3) OR ((((triple2) -> rule7)) -> rule3) OR ((((triple5) -> rule2)) -> rule3))] Charlie is green.[(((triple7) -> rule5) OR ((((((triple8) -> rule3)) -> rule8)) -> rule5))] Charlie is round.[(((triple8) -> rule3) OR ((((triple7) -> rule7)) -> rule3))] Erin is nice.[(((triple10) -> rule2))] Fiona is nice.[(((triple11) -> rule9))] @2: Charlie is furry.[(((triple8 ((triple7) -> rule5)) -> rule1) OR ((((triple7) -> rule7) ((triple7) -> rule5)) -> rule1) OR ((triple8 ((((((triple8) -> rule3)) -> rule8)) -> rule5)) -> rule1) OR ((((triple7) -> rule7) ((((((triple8) -> rule3)) -> rule8)) -> rule5)) -> rule1))] Charlie is kind.[(((((triple7) -> rule5) ((triple8) -> rule3)) -> rule4) OR ((((triple7) -> rule5) ((((triple7) -> rule7)) -> rule3)) -> rule4) OR ((((((((triple8) -> rule3)) -> rule8)) -> rule5) ((triple8) -> rule3)) -> rule4) OR ((((((((triple8) -> rule3)) -> rule8)) -> rule5) ((((triple7) -> rule7)) -> rule3)) -> rule4))] Erin is furry.[(((((triple10) -> rule2) triple9) -> rule1) OR ((((triple10) -> rule2) ((((triple10) -> rule2) triple10) -> rule6)) -> rule1) OR ((((triple10) -> rule2) ((((((((triple10) -> rule2)) -> rule3)) -> rule8)) -> rule5)) -> rule1))] Erin is round.[(((((triple10) -> rule2)) -> rule3))] Fiona is round.[(((((triple11) -> rule9)) -> rule3))] @3: Erin is cold.[(((((((triple10) -> rule2)) -> rule3)) -> rule8))] Fiona is cold.[(((((((triple11) -> rule9)) -> rule3)) -> rule8))] @4: Fiona is green.[(((((((((triple11) -> rule9)) -> rule3)) -> rule8)) -> rule5))] @5: Fiona is kind.[(((((((((((triple11) -> rule9)) -> rule3)) -> rule8)) -> rule5) ((((triple11) -> rule9)) -> rule3)) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
((((triple6) -> (rule3 % int2))) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((((triple1) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((((triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
triple3
((triple6 triple4) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple6 ((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((triple6 ((triple6 triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple1) -> (rule9 % int2)) triple4) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple2) -> (rule7 % int2)) triple4) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple5) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple1) -> (rule9 % int3)) ((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple1) -> (rule9 % int3)) ((triple6 triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple2) -> (rule7 % int3)) ((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple2) -> (rule7 % int3)) ((triple6 triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple5) -> (rule2 % int3)) ((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple5) -> (rule2 % int3)) ((triple6 triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((triple6 ((((triple1) -> (rule9 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((triple6 ((((triple2) -> (rule7 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((triple6 ((((triple5) -> (rule2 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple1) -> (rule9 % int3)) ((((triple1) -> (rule9 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple1) -> (rule9 % int3)) ((((triple2) -> (rule7 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple1) -> (rule9 % int3)) ((((triple5) -> (rule2 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple2) -> (rule7 % int3)) ((((triple1) -> (rule9 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple2) -> (rule7 % int3)) ((((triple2) -> (rule7 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple2) -> (rule7 % int3)) ((((triple5) -> (rule2 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple5) -> (rule2 % int3)) ((((triple1) -> (rule9 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple5) -> (rule2 % int3)) ((((triple2) -> (rule7 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple5) -> (rule2 % int3)) ((((triple5) -> (rule2 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((triple6 ((((((triple6) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple1) -> (rule9 % int5)) ((((((triple6) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple2) -> (rule7 % int5)) ((((((triple6) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple5) -> (rule2 % int5)) ((((((triple6) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((triple6 ((((((((triple1) -> (rule9 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((triple6 ((((((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple1) -> (rule9 % int5)) ((((((((triple1) -> (rule9 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple1) -> (rule9 % int5)) ((((((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple2) -> (rule7 % int5)) ((((((((triple1) -> (rule9 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple2) -> (rule7 % int5)) ((((((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple5) -> (rule2 % int5)) ((((((((triple1) -> (rule9 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple5) -> (rule2 % int5)) ((((((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
triple4
((triple2) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((triple6 triple5) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((triple1) -> (rule9 % int2)) triple5) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple2) -> (rule7 % int2)) triple5) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple5) -> (rule2 % int2)) triple5) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((((triple6) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((((((triple1) -> (rule9 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((((triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
triple5
((triple4 ((triple6) -> (rule3 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple2) -> (rule5 % int3)) ((triple6) -> (rule3 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((triple4 ((((triple1) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((triple4 ((((triple2) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple2) -> (rule5 % int4)) ((((triple1) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((triple2) -> (rule5 % int4)) ((((triple2) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple6) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) ((triple6) -> (rule3 % int4))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((((triple6) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule5 % int3)) ((((triple1) -> (rule9 % int2))) -> (rule3 % int5))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((((triple6) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule5 % int3)) ((((triple2) -> (rule7 % int2))) -> (rule3 % int5))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((((((triple1) -> (rule9 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) ((triple6) -> (rule3 % int4))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((((((triple1) -> (rule9 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) ((((triple1) -> (rule9 % int5))) -> (rule3 % int4))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((((((triple1) -> (rule9 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) ((((triple2) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
triple6
((triple1) -> (rule9 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple2) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple5) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple7
((((triple8) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple8
((triple7) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
triple9
((((triple10) -> (rule2 % int2)) triple10) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((((((triple10) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
triple10
Fiona is big.
("Fiona" "is" "big" "+")
triple11
Fiona is furry.
("Fiona" "is" "furry" "+")
triple12
((((triple11) -> (rule9 % int5)) ((((((((triple11) -> (rule9 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
Bob is round.
("Bob" "is" "round" "+")
((triple6) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((((triple1) -> (rule9 % int2))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple2) -> (rule7 % int2))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple5) -> (rule2 % int2))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
((triple7) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((((((triple8) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
((triple8) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((((triple7) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
((triple10) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple11) -> (rule9 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple8 ((triple7) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((((triple7) -> (rule7 % int3)) ((triple7) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((triple8 ((((((triple8) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple7) -> (rule7 % int5)) ((((((triple8) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
((((triple7) -> (rule5 % int3)) ((triple8) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple7) -> (rule5 % int4)) ((((triple7) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((((((triple8) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) ((triple8) -> (rule3 % int4))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((((triple8) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule5 % int3)) ((((triple7) -> (rule7 % int2))) -> (rule3 % int5))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
((((triple10) -> (rule2 % int2)) triple9) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((triple10) -> (rule2 % int3)) ((((triple10) -> (rule2 % int3)) triple10) -> (rule6 % int2))) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((triple10) -> (rule2 % int5)) ((((((((triple10) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
((((triple10) -> (rule2 % int2))) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
((((triple11) -> (rule9 % int2))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
((((((triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
((((((triple11) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
((((((((triple11) -> (rule9 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
((((((((((triple11) -> (rule9 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) ((((triple11) -> (rule9 % int5))) -> (rule3 % int4))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5