Anne is big. Anne is cold. Anne is green. Anne is round. Anne is smart. Anne is young. Bob is big. Bob is round. Bob is white. Bob is young. Charlie is smart. Fiona is big. Fiona is smart. Fiona is white. If something is green and round then it is white. If something is white and big then it is cold. If something is green then it is round. All cold, young things are white. If something is round then it is big. All cold, smart things are big. All smart, cold things are young. If something is smart then it is green.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If something is green and round then it is white.
((("something" "is" "green" "+") ("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
If something is white and big then it is cold.
((("something" "is" "white" "+") ("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
If something is green then it is round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
All cold, young things are white.
((("something" "is" "cold" "+") ("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
If something is round then it is big.
((("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
All cold, smart things are big.
((("something" "is" "cold" "+") ("something" "is" "smart" "+")) -> ("something" "is" "big" "+"))
All smart, cold things are young.
((("something" "is" "smart" "+") ("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
If something is smart then it is green.
((("something" "is" "smart" "+")) -> ("something" "is" "green" "+"))
Fiona is white.
True
1
proof
[(triple14 OR ((((triple13) -> rule8) ((((triple13) -> rule8)) -> rule3)) -> rule1))]
("Fiona" "is" "white" "+")
triple14
((((triple13) -> (rule8 % int3)) ((((triple13) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Anne is not young.
False
1
inv-proof
[(triple6 OR ((triple5 triple2) -> rule7) OR ((triple5 ((((triple3 triple4) -> rule1) triple1) -> rule2)) -> rule7) OR ((triple5 ((((triple3 triple4) -> rule1) ((triple4) -> rule5)) -> rule2)) -> rule7) OR ((triple5 ((((triple3 ((triple3) -> rule3)) -> rule1) triple1) -> rule2)) -> rule7) OR ((triple5 ((((((triple5) -> rule8) triple4) -> rule1) triple1) -> rule2)) -> rule7) OR ((triple5 ((((triple3 triple4) -> rule1) ((((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule7) OR ((triple5 ((((triple3 ((triple3) -> rule3)) -> rule1) ((triple4) -> rule5)) -> rule2)) -> rule7) OR ((triple5 ((((((triple5) -> rule8) triple4) -> rule1) ((triple4) -> rule5)) -> rule2)) -> rule7) OR ((triple5 ((((((triple5) -> rule8) ((triple3) -> rule3)) -> rule1) triple1) -> rule2)) -> rule7) OR ((triple5 ((((triple3 ((triple3) -> rule3)) -> rule1) ((((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule7) OR ((triple5 ((((((triple5) -> rule8) triple4) -> rule1) ((((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule7) OR ((triple5 ((((((triple5) -> rule8) ((triple3) -> rule3)) -> rule1) ((triple4) -> rule5)) -> rule2)) -> rule7) OR ((triple5 ((((((triple5) -> rule8) ((triple3) -> rule3)) -> rule1) ((((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule7) OR ((triple5 ((((triple3 ((((triple5) -> rule8)) -> rule3)) -> rule1) triple1) -> rule2)) -> rule7) OR ((triple5 ((((triple3 triple4) -> rule1) ((((((triple5) -> rule8)) -> rule3)) -> rule5)) -> rule2)) -> rule7) OR ((triple5 ((((triple3 ((((triple5) -> rule8)) -> rule3)) -> rule1) ((triple4) -> rule5)) -> rule2)) -> rule7) OR ((triple5 ((((((triple5) -> rule8) ((((triple5) -> rule8)) -> rule3)) -> rule1) triple1) -> rule2)) -> rule7) OR ((triple5 ((((triple3 ((triple3) -> rule3)) -> rule1) ((((((triple5) -> rule8)) -> rule3)) -> rule5)) -> rule2)) -> rule7) OR ((triple5 ((((triple3 ((((triple5) -> rule8)) -> rule3)) -> rule1) ((((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule7) OR ((triple5 ((((((triple5) -> rule8) triple4) -> rule1) ((((((triple5) -> rule8)) -> rule3)) -> rule5)) -> rule2)) -> rule7) OR ((triple5 ((((((triple5) -> rule8) ((((triple5) -> rule8)) -> rule3)) -> rule1) ((triple4) -> rule5)) -> rule2)) -> rule7) OR ((triple5 ((((triple3 ((((triple5) -> rule8)) -> rule3)) -> rule1) ((((((triple5) -> rule8)) -> rule3)) -> rule5)) -> rule2)) -> rule7) OR ((triple5 ((((((triple5) -> rule8) ((triple3) -> rule3)) -> rule1) ((((((triple5) -> rule8)) -> rule3)) -> rule5)) -> rule2)) -> rule7) OR ((triple5 ((((((triple5) -> rule8) ((((triple5) -> rule8)) -> rule3)) -> rule1) ((((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule7) OR ((triple5 ((((((triple5) -> rule8) ((((triple5) -> rule8)) -> rule3)) -> rule1) ((((((triple5) -> rule8)) -> rule3)) -> rule5)) -> rule2)) -> rule7))]
("Anne" "is" "young" "-")
triple6
((triple5 triple2) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((triple5 ((((triple3 triple4) -> (rule1 % int3)) triple1) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((triple5 ((((triple3 triple4) -> (rule1 % int4)) ((triple4) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((triple5 ((((triple3 ((triple3) -> (rule3 % int4))) -> (rule1 % int3)) triple1) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((triple5 ((((((triple5) -> (rule8 % int4)) triple4) -> (rule1 % int3)) triple1) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((triple5 ((((triple3 triple4) -> (rule1 % int5)) ((((triple3) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
((triple5 ((((triple3 ((triple3) -> (rule3 % int5))) -> (rule1 % int4)) ((triple4) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((triple5 ((((((triple5) -> (rule8 % int5)) triple4) -> (rule1 % int4)) ((triple4) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((triple5 ((((((triple5) -> (rule8 % int5)) ((triple3) -> (rule3 % int4))) -> (rule1 % int3)) triple1) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((triple5 ((((triple3 ((triple3) -> (rule3 % int5))) -> (rule1 % int4)) ((((triple3) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((triple5 ((((((triple5) -> (rule8 % int6)) triple4) -> (rule1 % int5)) ((((triple3) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
int6
((triple5 ((((((triple5) -> (rule8 % int6)) ((triple3) -> (rule3 % int5))) -> (rule1 % int4)) ((triple4) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
int6
((triple5 ((((((triple5) -> (rule8 % int6)) ((triple3) -> (rule3 % int5))) -> (rule1 % int4)) ((((triple3) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
int6
((triple5 ((((triple3 ((((triple5) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) triple1) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((triple5 ((((triple3 triple4) -> (rule1 % int6)) ((((((triple5) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
Anne is white.
("Anne" "is" "white" "+")
int6
((triple5 ((((triple3 ((((triple5) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule1 % int4)) ((triple4) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
int6
((triple5 ((((((triple5) -> (rule8 % int5)) ((((triple5) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) triple1) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((triple5 ((((triple3 ((triple3) -> (rule3 % int6))) -> (rule1 % int5)) ((((((triple5) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is round.
("Anne" "is" "round" "+")
int6
((triple5 ((((triple3 ((((triple5) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule1 % int4)) ((((triple3) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
int6
((triple5 ((((((triple5) -> (rule8 % int6)) triple4) -> (rule1 % int5)) ((((((triple5) -> (rule8 % int6))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
int6
((triple5 ((((((triple5) -> (rule8 % int6)) ((((triple5) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule1 % int4)) ((triple4) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
int6
((triple5 ((((triple3 ((((triple5) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple5) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
int6
((triple5 ((((((triple5) -> (rule8 % int6)) ((triple3) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple5) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
int6
((triple5 ((((((triple5) -> (rule8 % int6)) ((((triple5) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule1 % int4)) ((((triple3) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
int6
((triple5 ((((((triple5) -> (rule8 % int6)) ((((triple5) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple5) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
int6
Fiona is cold.
True
3
proof
[(((triple14 triple12) -> rule2) OR ((triple14 ((((((triple13) -> rule8)) -> rule3)) -> rule5)) -> rule2) OR ((((((triple13) -> rule8) ((((triple13) -> rule8)) -> rule3)) -> rule1) triple12) -> rule2) OR ((((((triple13) -> rule8) ((((triple13) -> rule8)) -> rule3)) -> rule1) ((((((triple13) -> rule8)) -> rule3)) -> rule5)) -> rule2))]
("Fiona" "is" "cold" "+")
((triple14 triple12) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((triple14 ((((((triple13) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((triple13) -> (rule8 % int4)) ((((triple13) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple12) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((triple13) -> (rule8 % int5)) ((((triple13) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple13) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
Anne is not white.
False
3
inv-proof
[(((triple2 triple6) -> rule4) OR ((triple3 triple4) -> rule1) OR ((triple2 ((triple5 triple2) -> rule7)) -> rule4) OR ((triple3 ((triple3) -> rule3)) -> rule1) OR ((((triple5) -> rule8) triple4) -> rule1) OR ((((triple5) -> rule8) ((triple3) -> rule3)) -> rule1) OR ((triple3 ((((triple5) -> rule8)) -> rule3)) -> rule1) OR ((((triple5) -> rule8) ((((triple5) -> rule8)) -> rule3)) -> rule1))]
("Anne" "is" "white" "-")
((triple2 triple6) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((triple3 triple4) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((triple2 ((triple5 triple2) -> (rule7 % int2))) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((triple3 ((triple3) -> (rule3 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple5) -> (rule8 % int2)) triple4) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple5) -> (rule8 % int3)) ((triple3) -> (rule3 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((triple3 ((((triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple5) -> (rule8 % int3)) ((((triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Charlie is round.
True
3
proof
[(((((triple11) -> rule8)) -> rule3))]
("Charlie" "is" "round" "+")
((((triple11) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Fiona is not young.
False
5
inv-proof
[(((triple13 ((triple14 triple12) -> rule2)) -> rule7) OR ((triple13 ((triple14 ((((((triple13) -> rule8)) -> rule3)) -> rule5)) -> rule2)) -> rule7) OR ((triple13 ((((((triple13) -> rule8) ((((triple13) -> rule8)) -> rule3)) -> rule1) triple12) -> rule2)) -> rule7) OR ((triple13 ((((((triple13) -> rule8) ((((triple13) -> rule8)) -> rule3)) -> rule1) ((((((triple13) -> rule8)) -> rule3)) -> rule5)) -> rule2)) -> rule7))]
("Fiona" "is" "young" "-")
((triple13 ((triple14 triple12) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((triple13 ((triple14 ((((((triple13) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((triple13 ((((((triple13) -> (rule8 % int5)) ((((triple13) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) triple12) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((triple13 ((((((triple13) -> (rule8 % int6)) ((((triple13) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple13) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
Fiona is green.
("Fiona" "is" "green" "+")
int6
Charlie is big.
True
4
proof
[(((((((triple11) -> rule8)) -> rule3)) -> rule5))]
("Charlie" "is" "big" "+")
((((((triple11) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is not big.
False
4
inv-proof
[(((((((triple11) -> rule8)) -> rule3)) -> rule5))]
("Charlie" "is" "big" "-")
((((((triple11) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is cold.
True
11
proof
[(((((((triple11) -> rule8) ((((triple11) -> rule8)) -> rule3)) -> rule1) ((((((triple11) -> rule8)) -> rule3)) -> rule5)) -> rule2))]
("Charlie" "is" "cold" "+")
((((((triple11) -> (rule8 % int5)) ((((triple11) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple11) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
Charlie is not cold.
False
11
inv-proof
[(((((((triple11) -> rule8) ((((triple11) -> rule8)) -> rule3)) -> rule1) ((((((triple11) -> rule8)) -> rule3)) -> rule5)) -> rule2))]
("Charlie" "is" "cold" "-")
((((((triple11) -> (rule8 % int5)) ((((triple11) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple11) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
Charlie is young.
True
13
proof
[(((triple11 ((((((triple11) -> rule8) ((((triple11) -> rule8)) -> rule3)) -> rule1) ((((((triple11) -> rule8)) -> rule3)) -> rule5)) -> rule2)) -> rule7))]
("Charlie" "is" "young" "+")
((triple11 ((((((triple11) -> (rule8 % int6)) ((((triple11) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple11) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Charlie is green.
("Charlie" "is" "green" "+")
int6
Charlie is not young.
False
13
inv-proof
[(((triple11 ((((((triple11) -> rule8) ((((triple11) -> rule8)) -> rule3)) -> rule1) ((((((triple11) -> rule8)) -> rule3)) -> rule5)) -> rule2)) -> rule7))]
("Charlie" "is" "young" "-")
((triple11 ((((((triple11) -> (rule8 % int6)) ((((triple11) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple11) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Charlie is green.
("Charlie" "is" "green" "+")
int6
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Bob" "is" "green" "-")
Bob is smart.
Unknown
random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "+")
@0: Anne is big.[(triple1 OR ((triple4) -> rule5) OR ((triple2 triple5) -> rule6) OR ((((triple3) -> rule3)) -> rule5) OR ((((((triple5) -> rule8)) -> rule3)) -> rule5))] Anne is cold.[(triple2 OR ((((triple3 triple4) -> rule1) triple1) -> rule2) OR ((((triple3 triple4) -> rule1) ((triple4) -> rule5)) -> rule2) OR ((((triple3 ((triple3) -> rule3)) -> rule1) triple1) -> rule2) OR ((((((triple5) -> rule8) triple4) -> rule1) triple1) -> rule2) OR ((((triple3 triple4) -> rule1) ((((triple3) -> rule3)) -> rule5)) -> rule2) OR ((((triple3 ((triple3) -> rule3)) -> rule1) ((triple4) -> rule5)) -> rule2) OR ((((((triple5) -> rule8) triple4) -> rule1) ((triple4) -> rule5)) -> rule2) OR ((((((triple5) -> rule8) ((triple3) -> rule3)) -> rule1) triple1) -> rule2) OR ((((triple3 ((triple3) -> rule3)) -> rule1) ((((triple3) -> rule3)) -> rule5)) -> rule2) OR ((((((triple5) -> rule8) triple4) -> rule1) ((((triple3) -> rule3)) -> rule5)) -> rule2) OR ((((((triple5) -> rule8) ((triple3) -> rule3)) -> rule1) ((triple4) -> rule5)) -> rule2) OR ((((((triple5) -> rule8) ((triple3) -> rule3)) -> rule1) ((((triple3) -> rule3)) -> rule5)) -> rule2) OR ((((triple3 ((((triple5) -> rule8)) -> rule3)) -> rule1) triple1) -> rule2) OR ((((triple3 triple4) -> rule1) ((((((triple5) -> rule8)) -> rule3)) -> rule5)) -> rule2) OR ((((triple3 ((((triple5) -> rule8)) -> rule3)) -> rule1) ((triple4) -> rule5)) -> rule2) OR ((((((triple5) -> rule8) ((((triple5) -> rule8)) -> rule3)) -> rule1) triple1) -> rule2) OR ((((triple3 ((triple3) -> rule3)) -> rule1) ((((((triple5) -> rule8)) -> rule3)) -> rule5)) -> rule2) OR ((((triple3 ((((triple5) -> rule8)) -> rule3)) -> rule1) ((((triple3) -> rule3)) -> rule5)) -> rule2) OR ((((((triple5) -> rule8) triple4) -> rule1) ((((((triple5) -> rule8)) -> rule3)) -> rule5)) -> rule2) OR ((((((triple5) -> rule8) ((((triple5) -> rule8)) -> rule3)) -> rule1) ((triple4) -> rule5)) -> rule2) OR ((((triple3 ((((triple5) -> rule8)) -> rule3)) -> rule1) ((((((triple5) -> rule8)) -> rule3)) -> rule5)) -> rule2) OR ((((((triple5) -> rule8) ((triple3) -> rule3)) -> rule1) ((((((triple5) -> rule8)) -> rule3)) -> rule5)) -> rule2) OR ((((((triple5) -> rule8) ((((triple5) -> rule8)) -> rule3)) -> rule1) ((((triple3) -> rule3)) -> rule5)) -> rule2) OR ((((((triple5) -> rule8) ((((triple5) -> rule8)) -> rule3)) -> rule1) ((((((triple5) -> rule8)) -> rule3)) -> rule5)) -> rule2))] Anne is green.[(triple3 OR ((triple5) -> rule8))] Anne is round.[(triple4 OR ((triple3) -> rule3) OR ((((triple5) -> rule8)) -> rule3))] Anne is smart.[(triple5)] Anne is young.[(triple6 OR ((triple5 triple2) -> rule7) OR ((triple5 ((((triple3 triple4) -> rule1) triple1) -> rule2)) -> rule7) OR ((triple5 ((((triple3 triple4) -> rule1) ((triple4) -> rule5)) -> rule2)) -> rule7) OR ((triple5 ((((triple3 ((triple3) -> rule3)) -> rule1) triple1) -> rule2)) -> rule7) OR ((triple5 ((((((triple5) -> rule8) triple4) -> rule1) triple1) -> rule2)) -> rule7) OR ((triple5 ((((triple3 triple4) -> rule1) ((((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule7) OR ((triple5 ((((triple3 ((triple3) -> rule3)) -> rule1) ((triple4) -> rule5)) -> rule2)) -> rule7) OR ((triple5 ((((((triple5) -> rule8) triple4) -> rule1) ((triple4) -> rule5)) -> rule2)) -> rule7) OR ((triple5 ((((((triple5) -> rule8) ((triple3) -> rule3)) -> rule1) triple1) -> rule2)) -> rule7) OR ((triple5 ((((triple3 ((triple3) -> rule3)) -> rule1) ((((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule7) OR ((triple5 ((((((triple5) -> rule8) triple4) -> rule1) ((((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule7) OR ((triple5 ((((((triple5) -> rule8) ((triple3) -> rule3)) -> rule1) ((triple4) -> rule5)) -> rule2)) -> rule7) OR ((triple5 ((((((triple5) -> rule8) ((triple3) -> rule3)) -> rule1) ((((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule7) OR ((triple5 ((((triple3 ((((triple5) -> rule8)) -> rule3)) -> rule1) triple1) -> rule2)) -> rule7) OR ((triple5 ((((triple3 triple4) -> rule1) ((((((triple5) -> rule8)) -> rule3)) -> rule5)) -> rule2)) -> rule7) OR ((triple5 ((((triple3 ((((triple5) -> rule8)) -> rule3)) -> rule1) ((triple4) -> rule5)) -> rule2)) -> rule7) OR ((triple5 ((((((triple5) -> rule8) ((((triple5) -> rule8)) -> rule3)) -> rule1) triple1) -> rule2)) -> rule7) OR ((triple5 ((((triple3 ((triple3) -> rule3)) -> rule1) ((((((triple5) -> rule8)) -> rule3)) -> rule5)) -> rule2)) -> rule7) OR ((triple5 ((((triple3 ((((triple5) -> rule8)) -> rule3)) -> rule1) ((((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule7) OR ((triple5 ((((((triple5) -> rule8) triple4) -> rule1) ((((((triple5) -> rule8)) -> rule3)) -> rule5)) -> rule2)) -> rule7) OR ((triple5 ((((((triple5) -> rule8) ((((triple5) -> rule8)) -> rule3)) -> rule1) ((triple4) -> rule5)) -> rule2)) -> rule7) OR ((triple5 ((((triple3 ((((triple5) -> rule8)) -> rule3)) -> rule1) ((((((triple5) -> rule8)) -> rule3)) -> rule5)) -> rule2)) -> rule7) OR ((triple5 ((((((triple5) -> rule8) ((triple3) -> rule3)) -> rule1) ((((((triple5) -> rule8)) -> rule3)) -> rule5)) -> rule2)) -> rule7) OR ((triple5 ((((((triple5) -> rule8) ((((triple5) -> rule8)) -> rule3)) -> rule1) ((((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule7) OR ((triple5 ((((((triple5) -> rule8) ((((triple5) -> rule8)) -> rule3)) -> rule1) ((((((triple5) -> rule8)) -> rule3)) -> rule5)) -> rule2)) -> rule7))] Bob is big.[(triple7 OR ((triple8) -> rule5))] Bob is round.[(triple8)] Bob is white.[(triple9)] Bob is young.[(triple10)] Charlie is smart.[(triple11)] Fiona is big.[(triple12 OR ((((((triple13) -> rule8)) -> rule3)) -> rule5))] Fiona is smart.[(triple13)] Fiona is white.[(triple14 OR ((((triple13) -> rule8) ((((triple13) -> rule8)) -> rule3)) -> rule1))] @1: Anne is white.[(((triple2 triple6) -> rule4) OR ((triple3 triple4) -> rule1) OR ((triple2 ((triple5 triple2) -> rule7)) -> rule4) OR ((triple3 ((triple3) -> rule3)) -> rule1) OR ((((triple5) -> rule8) triple4) -> rule1) OR ((((triple5) -> rule8) ((triple3) -> rule3)) -> rule1) OR ((triple3 ((((triple5) -> rule8)) -> rule3)) -> rule1) OR ((((triple5) -> rule8) ((((triple5) -> rule8)) -> rule3)) -> rule1))] Bob is cold.[(((triple9 triple7) -> rule2) OR ((triple9 ((triple8) -> rule5)) -> rule2))] Charlie is green.[(((triple11) -> rule8))] Fiona is cold.[(((triple14 triple12) -> rule2) OR ((triple14 ((((((triple13) -> rule8)) -> rule3)) -> rule5)) -> rule2) OR ((((((triple13) -> rule8) ((((triple13) -> rule8)) -> rule3)) -> rule1) triple12) -> rule2) OR ((((((triple13) -> rule8) ((((triple13) -> rule8)) -> rule3)) -> rule1) ((((((triple13) -> rule8)) -> rule3)) -> rule5)) -> rule2))] Fiona is green.[(((triple13) -> rule8))] @2: Charlie is round.[(((((triple11) -> rule8)) -> rule3))] Fiona is round.[(((((triple13) -> rule8)) -> rule3))] Fiona is young.[(((triple13 ((triple14 triple12) -> rule2)) -> rule7) OR ((triple13 ((triple14 ((((((triple13) -> rule8)) -> rule3)) -> rule5)) -> rule2)) -> rule7) OR ((triple13 ((((((triple13) -> rule8) ((((triple13) -> rule8)) -> rule3)) -> rule1) triple12) -> rule2)) -> rule7) OR ((triple13 ((((((triple13) -> rule8) ((((triple13) -> rule8)) -> rule3)) -> rule1) ((((((triple13) -> rule8)) -> rule3)) -> rule5)) -> rule2)) -> rule7))] @3: Charlie is big.[(((((((triple11) -> rule8)) -> rule3)) -> rule5))] Charlie is white.[(((((triple11) -> rule8) ((((triple11) -> rule8)) -> rule3)) -> rule1))] @4: Charlie is cold.[(((((((triple11) -> rule8) ((((triple11) -> rule8)) -> rule3)) -> rule1) ((((((triple11) -> rule8)) -> rule3)) -> rule5)) -> rule2))] @5: Charlie is young.[(((triple11 ((((((triple11) -> rule8) ((((triple11) -> rule8)) -> rule3)) -> rule1) ((((((triple11) -> rule8)) -> rule3)) -> rule5)) -> rule2)) -> rule7))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple4) -> (rule5 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((triple2 triple5) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((triple3) -> (rule3 % int2))) -> (rule5 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((((triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
triple2
((((triple3 triple4) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((triple3 triple4) -> (rule1 % int3)) ((triple4) -> (rule5 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((triple3 ((triple3) -> (rule3 % int3))) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple5) -> (rule8 % int3)) triple4) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple3 triple4) -> (rule1 % int4)) ((((triple3) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((triple3 ((triple3) -> (rule3 % int4))) -> (rule1 % int3)) ((triple4) -> (rule5 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((triple5) -> (rule8 % int4)) triple4) -> (rule1 % int3)) ((triple4) -> (rule5 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((triple5) -> (rule8 % int4)) ((triple3) -> (rule3 % int3))) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((triple3 ((triple3) -> (rule3 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((triple5) -> (rule8 % int5)) triple4) -> (rule1 % int4)) ((((triple3) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((((((triple5) -> (rule8 % int5)) ((triple3) -> (rule3 % int4))) -> (rule1 % int3)) ((triple4) -> (rule5 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((((((triple5) -> (rule8 % int5)) ((triple3) -> (rule3 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((((triple3 ((((triple5) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((triple3 triple4) -> (rule1 % int5)) ((((((triple5) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
((((triple3 ((((triple5) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((triple4) -> (rule5 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((((((triple5) -> (rule8 % int4)) ((((triple5) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((triple3 ((triple3) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple5) -> (rule8 % int3))) -> (rule3 % int5))) -> (rule5 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((triple3 ((((triple5) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((((((triple5) -> (rule8 % int5)) triple4) -> (rule1 % int4)) ((((((triple5) -> (rule8 % int5))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((((((triple5) -> (rule8 % int5)) ((((triple5) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((triple4) -> (rule5 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((((triple3 ((((triple5) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple5) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((((((triple5) -> (rule8 % int5)) ((triple3) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple5) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((((((triple5) -> (rule8 % int5)) ((((triple5) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((((((triple5) -> (rule8 % int5)) ((((triple5) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple5) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
triple3
((triple5) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
triple4
((triple3) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((triple5) -> (rule8 % int2))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Anne is young.
("Anne" "is" "young" "+")
triple6
((triple5 triple2) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((triple5 ((((triple3 triple4) -> (rule1 % int3)) triple1) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((triple5 ((((triple3 triple4) -> (rule1 % int4)) ((triple4) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((triple5 ((((triple3 ((triple3) -> (rule3 % int4))) -> (rule1 % int3)) triple1) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((triple5 ((((((triple5) -> (rule8 % int4)) triple4) -> (rule1 % int3)) triple1) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((triple5 ((((triple3 triple4) -> (rule1 % int5)) ((((triple3) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
((triple5 ((((triple3 ((triple3) -> (rule3 % int5))) -> (rule1 % int4)) ((triple4) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((triple5 ((((((triple5) -> (rule8 % int5)) triple4) -> (rule1 % int4)) ((triple4) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((triple5 ((((((triple5) -> (rule8 % int5)) ((triple3) -> (rule3 % int4))) -> (rule1 % int3)) triple1) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((triple5 ((((triple3 ((triple3) -> (rule3 % int5))) -> (rule1 % int4)) ((((triple3) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((triple5 ((((((triple5) -> (rule8 % int6)) triple4) -> (rule1 % int5)) ((((triple3) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
int6
((triple5 ((((((triple5) -> (rule8 % int6)) ((triple3) -> (rule3 % int5))) -> (rule1 % int4)) ((triple4) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
int6
((triple5 ((((((triple5) -> (rule8 % int6)) ((triple3) -> (rule3 % int5))) -> (rule1 % int4)) ((((triple3) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
int6
((triple5 ((((triple3 ((((triple5) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) triple1) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((triple5 ((((triple3 triple4) -> (rule1 % int6)) ((((((triple5) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
Anne is white.
("Anne" "is" "white" "+")
int6
((triple5 ((((triple3 ((((triple5) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule1 % int4)) ((triple4) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
int6
((triple5 ((((((triple5) -> (rule8 % int5)) ((((triple5) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) triple1) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((triple5 ((((triple3 ((triple3) -> (rule3 % int6))) -> (rule1 % int5)) ((((((triple5) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is round.
("Anne" "is" "round" "+")
int6
((triple5 ((((triple3 ((((triple5) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule1 % int4)) ((((triple3) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
int6
((triple5 ((((((triple5) -> (rule8 % int6)) triple4) -> (rule1 % int5)) ((((((triple5) -> (rule8 % int6))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
int6
((triple5 ((((((triple5) -> (rule8 % int6)) ((((triple5) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule1 % int4)) ((triple4) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
int6
((triple5 ((((triple3 ((((triple5) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple5) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
int6
((triple5 ((((((triple5) -> (rule8 % int6)) ((triple3) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple5) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
int6
((triple5 ((((((triple5) -> (rule8 % int6)) ((((triple5) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule1 % int4)) ((((triple3) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
int6
((triple5 ((((((triple5) -> (rule8 % int6)) ((((triple5) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple5) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
int6
Bob is big.
("Bob" "is" "big" "+")
triple7
((triple8) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
triple8
Bob is white.
("Bob" "is" "white" "+")
triple9
Bob is young.
("Bob" "is" "young" "+")
triple10
Charlie is smart.
("Charlie" "is" "smart" "+")
triple11
Fiona is big.
("Fiona" "is" "big" "+")
triple12
((((((triple13) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
triple13
Fiona is white.
("Fiona" "is" "white" "+")
triple14
((((triple13) -> (rule8 % int3)) ((((triple13) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
((triple2 triple6) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((triple3 triple4) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((triple2 ((triple5 triple2) -> (rule7 % int2))) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((triple3 ((triple3) -> (rule3 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple5) -> (rule8 % int2)) triple4) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple5) -> (rule8 % int3)) ((triple3) -> (rule3 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((triple3 ((((triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple5) -> (rule8 % int3)) ((((triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
((triple9 triple7) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((triple9 ((triple8) -> (rule5 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
((triple11) -> (rule8 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple14 triple12) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((triple14 ((((((triple13) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((triple13) -> (rule8 % int4)) ((((triple13) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple12) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((triple13) -> (rule8 % int5)) ((((triple13) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple13) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
Fiona is green.
("Fiona" "is" "green" "+")
((triple13) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((((triple11) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
((((triple13) -> (rule8 % int2))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
((triple13 ((triple14 triple12) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((triple13 ((triple14 ((((((triple13) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((triple13 ((((((triple13) -> (rule8 % int5)) ((((triple13) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) triple12) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((triple13 ((((((triple13) -> (rule8 % int6)) ((((triple13) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple13) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
Fiona is green.
("Fiona" "is" "green" "+")
int6
Charlie is big.
("Charlie" "is" "big" "+")
((((((triple11) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
((((triple11) -> (rule8 % int3)) ((((triple11) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
((((((triple11) -> (rule8 % int5)) ((((triple11) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple11) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
Charlie is young.
("Charlie" "is" "young" "+")
((triple11 ((((((triple11) -> (rule8 % int6)) ((((triple11) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple11) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Charlie is green.
("Charlie" "is" "green" "+")
int6