Charlie is big. Charlie is furry. Charlie is kind. Charlie is smart. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is young. Gary is big. Gary is cold. Gary is furry. Gary is kind. Gary is nice. Gary is smart. Gary is young. If Fiona is nice then Fiona is kind. If Charlie is kind and Charlie is young then Charlie is nice. Young, nice things are big. If Fiona is nice and Fiona is cold then Fiona is big. If Charlie is furry then Charlie is kind. If something is big then it is young. All smart, nice things are cold. If Charlie is furry and Charlie is kind then Charlie is young.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
If Fiona is nice then Fiona is kind.
((("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "kind" "+"))
If Charlie is kind and Charlie is young then Charlie is nice.
((("Charlie" "is" "kind" "+") ("Charlie" "is" "young" "+")) -> ("Charlie" "is" "nice" "+"))
Young, nice things are big.
((("something" "is" "young" "+") ("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
If Fiona is nice and Fiona is cold then Fiona is big.
((("Fiona" "is" "nice" "+") ("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "big" "+"))
If Charlie is furry then Charlie is kind.
((("Charlie" "is" "furry" "+")) -> ("Charlie" "is" "kind" "+"))
If something is big then it is young.
((("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
All smart, nice things are cold.
((("something" "is" "smart" "+") ("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
If Charlie is furry and Charlie is kind then Charlie is young.
((("Charlie" "is" "furry" "+") ("Charlie" "is" "kind" "+")) -> ("Charlie" "is" "young" "+"))
Gary is nice.
True
1
proof
[(triple14)]
("Gary" "is" "nice" "+")
triple14
Fiona is not nice.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "nice" "-")
triple8
Charlie is young.
True
2
proof
[(((triple1) -> rule6) OR ((triple2 triple3) -> rule8) OR ((triple2 ((triple2) -> rule5)) -> rule8))]
("Charlie" "is" "young" "+")
((triple1) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple2 triple3) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple2 ((triple2) -> (rule5 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Fiona is not big.
False
3
inv-proof
[(((triple8 triple5) -> rule4) OR ((triple9 triple8) -> rule3))]
("Fiona" "is" "big" "-")
((triple8 triple5) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple9 triple8) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Charlie is nice.
True
4
proof
[(((triple3 ((triple1) -> rule6)) -> rule2) OR ((triple3 ((triple2 triple3) -> rule8)) -> rule2) OR ((((triple2) -> rule5) ((triple1) -> rule6)) -> rule2) OR ((((triple2) -> rule5) ((triple2 triple3) -> rule8)) -> rule2) OR ((triple3 ((triple2 ((triple2) -> rule5)) -> rule8)) -> rule2) OR ((((triple2) -> rule5) ((triple2 ((triple2) -> rule5)) -> rule8)) -> rule2))]
("Charlie" "is" "nice" "+")
((triple3 ((triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((triple3 ((triple2 triple3) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple2) -> (rule5 % int3)) ((triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple2) -> (rule5 % int3)) ((triple2 triple3) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple3 ((triple2 ((triple2) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple2) -> (rule5 % int3)) ((triple2 ((triple2) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is not nice.
False
4
inv-proof
[(((triple3 ((triple1) -> rule6)) -> rule2) OR ((triple3 ((triple2 triple3) -> rule8)) -> rule2) OR ((((triple2) -> rule5) ((triple1) -> rule6)) -> rule2) OR ((((triple2) -> rule5) ((triple2 triple3) -> rule8)) -> rule2) OR ((triple3 ((triple2 ((triple2) -> rule5)) -> rule8)) -> rule2) OR ((((triple2) -> rule5) ((triple2 ((triple2) -> rule5)) -> rule8)) -> rule2))]
("Charlie" "is" "nice" "-")
((triple3 ((triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((triple3 ((triple2 triple3) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple2) -> (rule5 % int3)) ((triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple2) -> (rule5 % int3)) ((triple2 triple3) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple3 ((triple2 ((triple2) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple2) -> (rule5 % int3)) ((triple2 ((triple2) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is cold.
True
6
proof
[(((triple4 ((triple3 ((triple1) -> rule6)) -> rule2)) -> rule7) OR ((triple4 ((triple3 ((triple2 triple3) -> rule8)) -> rule2)) -> rule7) OR ((triple4 ((((triple2) -> rule5) ((triple1) -> rule6)) -> rule2)) -> rule7) OR ((triple4 ((((triple2) -> rule5) ((triple2 triple3) -> rule8)) -> rule2)) -> rule7) OR ((triple4 ((triple3 ((triple2 ((triple2) -> rule5)) -> rule8)) -> rule2)) -> rule7) OR ((triple4 ((((triple2) -> rule5) ((triple2 ((triple2) -> rule5)) -> rule8)) -> rule2)) -> rule7))]
("Charlie" "is" "cold" "+")
((triple4 ((triple3 ((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((triple4 ((triple3 ((triple2 triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((triple4 ((((triple2) -> (rule5 % int4)) ((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((triple4 ((((triple2) -> (rule5 % int4)) ((triple2 triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((triple4 ((triple3 ((triple2 ((triple2) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((triple4 ((((triple2) -> (rule5 % int4)) ((triple2 ((triple2) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is not cold.
False
6
inv-proof
[(((triple4 ((triple3 ((triple1) -> rule6)) -> rule2)) -> rule7) OR ((triple4 ((triple3 ((triple2 triple3) -> rule8)) -> rule2)) -> rule7) OR ((triple4 ((((triple2) -> rule5) ((triple1) -> rule6)) -> rule2)) -> rule7) OR ((triple4 ((((triple2) -> rule5) ((triple2 triple3) -> rule8)) -> rule2)) -> rule7) OR ((triple4 ((triple3 ((triple2 ((triple2) -> rule5)) -> rule8)) -> rule2)) -> rule7) OR ((triple4 ((((triple2) -> rule5) ((triple2 ((triple2) -> rule5)) -> rule8)) -> rule2)) -> rule7))]
("Charlie" "is" "cold" "-")
((triple4 ((triple3 ((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((triple4 ((triple3 ((triple2 triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((triple4 ((((triple2) -> (rule5 % int4)) ((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((triple4 ((((triple2) -> (rule5 % int4)) ((triple2 triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((triple4 ((triple3 ((triple2 ((triple2) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((triple4 ((((triple2) -> (rule5 % int4)) ((triple2 ((triple2) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
@0: Charlie is big.[(triple1 OR ((((triple2 triple3) -> rule8) ((triple3 ((triple2 triple3) -> rule8)) -> rule2)) -> rule3) OR ((((triple2 triple3) -> rule8) ((((triple2) -> rule5) ((triple2 triple3) -> rule8)) -> rule2)) -> rule3) OR ((((triple2 ((triple2) -> rule5)) -> rule8) ((triple3 ((triple2 triple3) -> rule8)) -> rule2)) -> rule3) OR ((((triple2 ((triple2) -> rule5)) -> rule8) ((((triple2) -> rule5) ((triple2 triple3) -> rule8)) -> rule2)) -> rule3) OR ((((triple2 triple3) -> rule8) ((triple3 ((triple2 ((triple2) -> rule5)) -> rule8)) -> rule2)) -> rule3) OR ((((triple2 triple3) -> rule8) ((((triple2) -> rule5) ((triple2 ((triple2) -> rule5)) -> rule8)) -> rule2)) -> rule3) OR ((((triple2 ((triple2) -> rule5)) -> rule8) ((triple3 ((triple2 ((triple2) -> rule5)) -> rule8)) -> rule2)) -> rule3) OR ((((triple2 ((triple2) -> rule5)) -> rule8) ((((triple2) -> rule5) ((triple2 ((triple2) -> rule5)) -> rule8)) -> rule2)) -> rule3))] Charlie is furry.[(triple2)] Charlie is kind.[(triple3 OR ((triple2) -> rule5))] Charlie is smart.[(triple4)] Fiona is cold.[(triple5)] Fiona is furry.[(triple6)] Fiona is kind.[(triple7 OR ((triple8) -> rule1))] Fiona is nice.[(triple8)] Fiona is young.[(triple9 OR ((((triple8 triple5) -> rule4)) -> rule6))] Gary is big.[(triple10 OR ((triple16 triple14) -> rule3))] Gary is cold.[(triple11 OR ((triple15 triple14) -> rule7))] Gary is furry.[(triple12)] Gary is kind.[(triple13)] Gary is nice.[(triple14)] Gary is smart.[(triple15)] Gary is young.[(triple16 OR ((triple10) -> rule6))] @1: Charlie is young.[(((triple1) -> rule6) OR ((triple2 triple3) -> rule8) OR ((triple2 ((triple2) -> rule5)) -> rule8))] Fiona is big.[(((triple8 triple5) -> rule4) OR ((triple9 triple8) -> rule3))] @2: Charlie is nice.[(((triple3 ((triple1) -> rule6)) -> rule2) OR ((triple3 ((triple2 triple3) -> rule8)) -> rule2) OR ((((triple2) -> rule5) ((triple1) -> rule6)) -> rule2) OR ((((triple2) -> rule5) ((triple2 triple3) -> rule8)) -> rule2) OR ((triple3 ((triple2 ((triple2) -> rule5)) -> rule8)) -> rule2) OR ((((triple2) -> rule5) ((triple2 ((triple2) -> rule5)) -> rule8)) -> rule2))] @3: Charlie is cold.[(((triple4 ((triple3 ((triple1) -> rule6)) -> rule2)) -> rule7) OR ((triple4 ((triple3 ((triple2 triple3) -> rule8)) -> rule2)) -> rule7) OR ((triple4 ((((triple2) -> rule5) ((triple1) -> rule6)) -> rule2)) -> rule7) OR ((triple4 ((((triple2) -> rule5) ((triple2 triple3) -> rule8)) -> rule2)) -> rule7) OR ((triple4 ((triple3 ((triple2 ((triple2) -> rule5)) -> rule8)) -> rule2)) -> rule7) OR ((triple4 ((((triple2) -> rule5) ((triple2 ((triple2) -> rule5)) -> rule8)) -> rule2)) -> rule7))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
((((triple2 triple3) -> (rule8 % int3)) ((triple3 ((triple2 triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((triple2 triple3) -> (rule8 % int4)) ((((triple2) -> (rule5 % int3)) ((triple2 triple3) -> (rule8 % int4))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple2 ((triple2) -> (rule5 % int4))) -> (rule8 % int3)) ((triple3 ((triple2 triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple2 ((triple2) -> (rule5 % int4))) -> (rule8 % int3)) ((((triple2) -> (rule5 % int4)) ((triple2 triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple2 triple3) -> (rule8 % int4)) ((triple3 ((triple2 ((triple2) -> (rule5 % int3))) -> (rule8 % int4))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple2 triple3) -> (rule8 % int4)) ((((triple2) -> (rule5 % int3)) ((triple2 ((triple2) -> (rule5 % int3))) -> (rule8 % int4))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple2 ((triple2) -> (rule5 % int4))) -> (rule8 % int3)) ((triple3 ((triple2 ((triple2) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple2 ((triple2) -> (rule5 % int4))) -> (rule8 % int3)) ((((triple2) -> (rule5 % int4)) ((triple2 ((triple2) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
((triple2) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
((triple8) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is young.
("Fiona" "is" "young" "+")
triple9
((((triple8 triple5) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
triple10
((triple16 triple14) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
triple11
((triple15 triple14) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
triple12
Gary is kind.
("Gary" "is" "kind" "+")
triple13
Gary is nice.
("Gary" "is" "nice" "+")
triple14
Gary is smart.
("Gary" "is" "smart" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
((triple10) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple1) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple2 triple3) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple2 ((triple2) -> (rule5 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
((triple8 triple5) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple9 triple8) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple3 ((triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((triple3 ((triple2 triple3) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple2) -> (rule5 % int3)) ((triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple2) -> (rule5 % int3)) ((triple2 triple3) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple3 ((triple2 ((triple2) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple2) -> (rule5 % int3)) ((triple2 ((triple2) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple4 ((triple3 ((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((triple4 ((triple3 ((triple2 triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((triple4 ((((triple2) -> (rule5 % int4)) ((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((triple4 ((((triple2) -> (rule5 % int4)) ((triple2 triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((triple4 ((triple3 ((triple2 ((triple2) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((triple4 ((((triple2) -> (rule5 % int4)) ((triple2 ((triple2) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4