Charlie is kind. Erin is big. Erin is blue. Erin is furry. Erin is kind. Fiona is blue. Harry is big. Harry is not blue. Harry is cold. Harry is green. Harry is kind. Harry is not round. Furry, round things are kind. All kind things are green. Big, blue things are cold. All blue things are big. If something is round and kind then it is big. Round, blue things are furry. If something is blue and cold then it is round.
Charlie is kind.
("Charlie" "is" "kind" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is not round.
("Harry" "is" "round" "-")
Furry, round things are kind.
((("something" "is" "furry" "+") ("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
All kind things are green.
((("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
Big, blue things are cold.
((("something" "is" "big" "+") ("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
All blue things are big.
((("something" "is" "blue" "+")) -> ("something" "is" "big" "+"))
If something is round and kind then it is big.
((("something" "is" "round" "+") ("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
Round, blue things are furry.
((("something" "is" "round" "+") ("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
If something is blue and cold then it is round.
((("something" "is" "blue" "+") ("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
Harry is not round.
True
1
proof
[(triple12)]
("Harry" "is" "round" "-")
triple12
Harry is blue.
False
1
inv-proof
[(triple8)]
("Harry" "is" "blue" "+")
triple8
Erin is green.
True
2
proof
[(((triple5) -> rule2) OR ((((triple4 ((triple3 ((triple2 triple3) -> rule3)) -> rule7)) -> rule1)) -> rule2) OR ((((triple4 ((triple3 ((((triple3) -> rule4) triple3) -> rule3)) -> rule7)) -> rule1)) -> rule2) OR ((((((((triple3 ((triple2 triple3) -> rule3)) -> rule7) triple3) -> rule6) ((triple3 ((triple2 triple3) -> rule3)) -> rule7)) -> rule1)) -> rule2) OR ((((((((triple3 ((triple2 triple3) -> rule3)) -> rule7) triple3) -> rule6) ((triple3 ((((triple3) -> rule4) triple3) -> rule3)) -> rule7)) -> rule1)) -> rule2) OR ((((((((triple3 ((((triple3) -> rule4) triple3) -> rule3)) -> rule7) triple3) -> rule6) ((triple3 ((triple2 triple3) -> rule3)) -> rule7)) -> rule1)) -> rule2) OR ((((((((triple3 ((((triple3) -> rule4) triple3) -> rule3)) -> rule7) triple3) -> rule6) ((triple3 ((((triple3) -> rule4) triple3) -> rule3)) -> rule7)) -> rule1)) -> rule2))]
("Erin" "is" "green" "+")
((triple5) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((triple4 ((triple3 ((triple2 triple3) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((triple4 ((triple3 ((((triple3) -> (rule4 % int5)) triple3) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((triple3 ((triple2 triple3) -> (rule3 % int5))) -> (rule7 % int4)) triple3) -> (rule6 % int3)) ((triple3 ((triple2 triple3) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
((((((((triple3 ((triple2 triple3) -> (rule3 % int6))) -> (rule7 % int5)) triple3) -> (rule6 % int4)) ((triple3 ((((triple3) -> (rule4 % int3)) triple3) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Erin is cold.
("Erin" "is" "cold" "+")
int6
((((((((triple3 ((((triple3) -> (rule4 % int6)) triple3) -> (rule3 % int5))) -> (rule7 % int4)) triple3) -> (rule6 % int3)) ((triple3 ((triple2 triple3) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((triple3 ((((triple3) -> (rule4 % int6)) triple3) -> (rule3 % int5))) -> (rule7 % int4)) triple3) -> (rule6 % int3)) ((triple3 ((((triple3) -> (rule4 % int6)) triple3) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
Fiona is not big.
False
2
inv-proof
[(((triple6) -> rule4))]
("Fiona" "is" "big" "-")
((triple6) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Erin is round.
True
5
proof
[(((triple3 ((triple2 triple3) -> rule3)) -> rule7) OR ((triple3 ((((triple3) -> rule4) triple3) -> rule3)) -> rule7))]
("Erin" "is" "round" "+")
((triple3 ((triple2 triple3) -> (rule3 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((triple3 ((((triple3) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Fiona is not cold.
False
4
inv-proof
[(((((triple6) -> rule4) triple6) -> rule3))]
("Fiona" "is" "cold" "-")
((((triple6) -> (rule4 % int2)) triple6) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is round.
True
6
proof
[(((triple6 ((((triple6) -> rule4) triple6) -> rule3)) -> rule7))]
("Fiona" "is" "round" "+")
((triple6 ((((triple6) -> (rule4 % int3)) triple6) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is not round.
False
6
inv-proof
[(((triple6 ((((triple6) -> rule4) triple6) -> rule3)) -> rule7))]
("Fiona" "is" "round" "-")
((triple6 ((((triple6) -> (rule4 % int3)) triple6) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is furry.
True
8
proof
[(((((triple6 ((((triple6) -> rule4) triple6) -> rule3)) -> rule7) triple6) -> rule6))]
("Fiona" "is" "furry" "+")
((((triple6 ((((triple6) -> (rule4 % int4)) triple6) -> (rule3 % int3))) -> (rule7 % int2)) triple6) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is not furry.
False
8
inv-proof
[(((((triple6 ((((triple6) -> rule4) triple6) -> rule3)) -> rule7) triple6) -> rule6))]
("Fiona" "is" "furry" "-")
((((triple6 ((((triple6) -> (rule4 % int4)) triple6) -> (rule3 % int3))) -> (rule7 % int2)) triple6) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is kind.
True
15
proof
[(((((((triple6 ((((triple6) -> rule4) triple6) -> rule3)) -> rule7) triple6) -> rule6) ((triple6 ((((triple6) -> rule4) triple6) -> rule3)) -> rule7)) -> rule1))]
("Fiona" "is" "kind" "+")
((((((triple6 ((((triple6) -> (rule4 % int5)) triple6) -> (rule3 % int4))) -> (rule7 % int3)) triple6) -> (rule6 % int2)) ((triple6 ((((triple6) -> (rule4 % int5)) triple6) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Fiona is not kind.
False
15
inv-proof
[(((((((triple6 ((((triple6) -> rule4) triple6) -> rule3)) -> rule7) triple6) -> rule6) ((triple6 ((((triple6) -> rule4) triple6) -> rule3)) -> rule7)) -> rule1))]
("Fiona" "is" "kind" "-")
((((((triple6 ((((triple6) -> (rule4 % int5)) triple6) -> (rule3 % int4))) -> (rule7 % int3)) triple6) -> (rule6 % int2)) ((triple6 ((((triple6) -> (rule4 % int5)) triple6) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Charlie is not furry.
Unknown
inv-rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "furry" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "round" "+")
Harry is not furry.
Unknown
inv-rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "furry" "-")
Charlie is big.
Unknown
rconc
[@2: Charlie is big.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("Charlie" "is" "big" "+")
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Charlie is kind.[(triple1)] Erin is big.[(triple2 OR ((triple3) -> rule4))] Erin is blue.[(triple3)] Erin is furry.[(triple4 OR ((((triple3 ((triple2 triple3) -> rule3)) -> rule7) triple3) -> rule6) OR ((((triple3 ((((triple3) -> rule4) triple3) -> rule3)) -> rule7) triple3) -> rule6))] Erin is kind.[(triple5 OR ((triple4 ((triple3 ((triple2 triple3) -> rule3)) -> rule7)) -> rule1) OR ((triple4 ((triple3 ((((triple3) -> rule4) triple3) -> rule3)) -> rule7)) -> rule1) OR ((((((triple3 ((triple2 triple3) -> rule3)) -> rule7) triple3) -> rule6) ((triple3 ((triple2 triple3) -> rule3)) -> rule7)) -> rule1) OR ((((((triple3 ((triple2 triple3) -> rule3)) -> rule7) triple3) -> rule6) ((triple3 ((((triple3) -> rule4) triple3) -> rule3)) -> rule7)) -> rule1) OR ((((((triple3 ((((triple3) -> rule4) triple3) -> rule3)) -> rule7) triple3) -> rule6) ((triple3 ((triple2 triple3) -> rule3)) -> rule7)) -> rule1) OR ((((((triple3 ((((triple3) -> rule4) triple3) -> rule3)) -> rule7) triple3) -> rule6) ((triple3 ((((triple3) -> rule4) triple3) -> rule3)) -> rule7)) -> rule1))] Fiona is blue.[(triple6)] Harry is big.[(triple7)] Harry is cold.[(triple9)] Harry is green.[(triple10 OR ((triple11) -> rule2))] Harry is kind.[(triple11)] Harry is not blue.[(triple8)] Harry is not round.[(triple12)] @1: Charlie is green.[(((triple1) -> rule2))] Erin is cold.[(((triple2 triple3) -> rule3) OR ((((triple3) -> rule4) triple3) -> rule3))] Erin is green.[(((triple5) -> rule2) OR ((((triple4 ((triple3 ((triple2 triple3) -> rule3)) -> rule7)) -> rule1)) -> rule2) OR ((((triple4 ((triple3 ((((triple3) -> rule4) triple3) -> rule3)) -> rule7)) -> rule1)) -> rule2) OR ((((((((triple3 ((triple2 triple3) -> rule3)) -> rule7) triple3) -> rule6) ((triple3 ((triple2 triple3) -> rule3)) -> rule7)) -> rule1)) -> rule2) OR ((((((((triple3 ((triple2 triple3) -> rule3)) -> rule7) triple3) -> rule6) ((triple3 ((((triple3) -> rule4) triple3) -> rule3)) -> rule7)) -> rule1)) -> rule2) OR ((((((((triple3 ((((triple3) -> rule4) triple3) -> rule3)) -> rule7) triple3) -> rule6) ((triple3 ((triple2 triple3) -> rule3)) -> rule7)) -> rule1)) -> rule2) OR ((((((((triple3 ((((triple3) -> rule4) triple3) -> rule3)) -> rule7) triple3) -> rule6) ((triple3 ((((triple3) -> rule4) triple3) -> rule3)) -> rule7)) -> rule1)) -> rule2))] Fiona is big.[(((triple6) -> rule4))] @2: Erin is round.[(((triple3 ((triple2 triple3) -> rule3)) -> rule7) OR ((triple3 ((((triple3) -> rule4) triple3) -> rule3)) -> rule7))] Fiona is cold.[(((((triple6) -> rule4) triple6) -> rule3))] @3: Fiona is round.[(((triple6 ((((triple6) -> rule4) triple6) -> rule3)) -> rule7))] @4: Fiona is furry.[(((((triple6 ((((triple6) -> rule4) triple6) -> rule3)) -> rule7) triple6) -> rule6))] @5: Fiona is kind.[(((((((triple6 ((((triple6) -> rule4) triple6) -> rule3)) -> rule7) triple6) -> rule6) ((triple6 ((((triple6) -> rule4) triple6) -> rule3)) -> rule7)) -> rule1))] @6: Fiona is green.[(((((((((triple6 ((((triple6) -> rule4) triple6) -> rule3)) -> rule7) triple6) -> rule6) ((triple6 ((((triple6) -> rule4) triple6) -> rule3)) -> rule7)) -> rule1)) -> rule2))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Erin is big.
("Erin" "is" "big" "+")
triple2
((triple3) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
triple4
((((triple3 ((triple2 triple3) -> (rule3 % int3))) -> (rule7 % int2)) triple3) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((triple3 ((((triple3) -> (rule4 % int4)) triple3) -> (rule3 % int3))) -> (rule7 % int2)) triple3) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
((triple4 ((triple3 ((triple2 triple3) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((triple4 ((triple3 ((((triple3) -> (rule4 % int4)) triple3) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple3 ((triple2 triple3) -> (rule3 % int4))) -> (rule7 % int3)) triple3) -> (rule6 % int2)) ((triple3 ((triple2 triple3) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((triple3 ((triple2 triple3) -> (rule3 % int5))) -> (rule7 % int4)) triple3) -> (rule6 % int3)) ((triple3 ((((triple3) -> (rule4 % int2)) triple3) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
((((((triple3 ((((triple3) -> (rule4 % int5)) triple3) -> (rule3 % int4))) -> (rule7 % int3)) triple3) -> (rule6 % int2)) ((triple3 ((triple2 triple3) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((triple3 ((((triple3) -> (rule4 % int5)) triple3) -> (rule3 % int4))) -> (rule7 % int3)) triple3) -> (rule6 % int2)) ((triple3 ((((triple3) -> (rule4 % int5)) triple3) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple10
((triple11) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is not blue.
("Harry" "is" "blue" "-")
triple8
Harry is not round.
("Harry" "is" "round" "-")
triple12
Charlie is green.
("Charlie" "is" "green" "+")
((triple1) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((triple2 triple3) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((((triple3) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
((triple5) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((triple4 ((triple3 ((triple2 triple3) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((triple4 ((triple3 ((((triple3) -> (rule4 % int5)) triple3) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((triple3 ((triple2 triple3) -> (rule3 % int5))) -> (rule7 % int4)) triple3) -> (rule6 % int3)) ((triple3 ((triple2 triple3) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
((((((((triple3 ((triple2 triple3) -> (rule3 % int6))) -> (rule7 % int5)) triple3) -> (rule6 % int4)) ((triple3 ((((triple3) -> (rule4 % int3)) triple3) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Erin is cold.
("Erin" "is" "cold" "+")
int6
((((((((triple3 ((((triple3) -> (rule4 % int6)) triple3) -> (rule3 % int5))) -> (rule7 % int4)) triple3) -> (rule6 % int3)) ((triple3 ((triple2 triple3) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((triple3 ((((triple3) -> (rule4 % int6)) triple3) -> (rule3 % int5))) -> (rule7 % int4)) triple3) -> (rule6 % int3)) ((triple3 ((((triple3) -> (rule4 % int6)) triple3) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
Fiona is big.
("Fiona" "is" "big" "+")
((triple6) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple3 ((triple2 triple3) -> (rule3 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((triple3 ((((triple3) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
((((triple6) -> (rule4 % int2)) triple6) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
((triple6 ((((triple6) -> (rule4 % int3)) triple6) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple6 ((((triple6) -> (rule4 % int4)) triple6) -> (rule3 % int3))) -> (rule7 % int2)) triple6) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
((((((triple6 ((((triple6) -> (rule4 % int5)) triple6) -> (rule3 % int4))) -> (rule7 % int3)) triple6) -> (rule6 % int2)) ((triple6 ((((triple6) -> (rule4 % int5)) triple6) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Fiona is green.
("Fiona" "is" "green" "+")
((((((((triple6 ((((triple6) -> (rule4 % int6)) triple6) -> (rule3 % int5))) -> (rule7 % int4)) triple6) -> (rule6 % int3)) ((triple6 ((((triple6) -> (rule4 % int6)) triple6) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
Fiona is big.
("Fiona" "is" "big" "+")
int6