Charlie is cold. Charlie is kind. Charlie is round. Charlie is smart. Fiona is blue. Fiona is kind. Fiona is round. Smart, blue things are round. If Fiona is cold then Fiona is quiet. If something is kind then it is smart. If Charlie is cold and Charlie is kind then Charlie is blue. Round things are red. If Fiona is smart and Fiona is blue then Fiona is red. Red, round things are quiet. If something is blue and smart then it is red.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Smart, blue things are round.
((("something" "is" "smart" "+") ("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
If Fiona is cold then Fiona is quiet.
((("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "quiet" "+"))
If something is kind then it is smart.
((("something" "is" "kind" "+")) -> ("something" "is" "smart" "+"))
If Charlie is cold and Charlie is kind then Charlie is blue.
((("Charlie" "is" "cold" "+") ("Charlie" "is" "kind" "+")) -> ("Charlie" "is" "blue" "+"))
Round things are red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
If Fiona is smart and Fiona is blue then Fiona is red.
((("Fiona" "is" "smart" "+") ("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "red" "+"))
Red, round things are quiet.
((("something" "is" "red" "+") ("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
If something is blue and smart then it is red.
((("something" "is" "blue" "+") ("something" "is" "smart" "+")) -> ("something" "is" "red" "+"))
Fiona is blue.
True
1
proof
[(triple5)]
("Fiona" "is" "blue" "+")
triple5
Charlie is not round.
False
1
inv-proof
[(triple3 OR ((triple4 ((triple1 triple2) -> rule4)) -> rule1) OR ((((triple2) -> rule3) ((triple1 triple2) -> rule4)) -> rule1))]
("Charlie" "is" "round" "-")
triple3
((triple4 ((triple1 triple2) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple2) -> (rule3 % int3)) ((triple1 triple2) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
True
3
proof
[(((triple1 triple2) -> rule4))]
("Charlie" "is" "blue" "+")
((triple1 triple2) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is not red.
False
2
inv-proof
[(((triple3) -> rule5) OR ((((triple1 triple2) -> rule4) triple4) -> rule8) OR ((((triple1 triple2) -> rule4) ((triple2) -> rule3)) -> rule8) OR ((((triple4 ((triple1 triple2) -> rule4)) -> rule1)) -> rule5) OR ((((((triple2) -> rule3) ((triple1 triple2) -> rule4)) -> rule1)) -> rule5))]
("Charlie" "is" "red" "-")
((triple3) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((((triple1 triple2) -> (rule4 % int2)) triple4) -> (rule8 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple1 triple2) -> (rule4 % int3)) ((triple2) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple4 ((triple1 triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((triple2) -> (rule3 % int4)) ((triple1 triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Fiona is quiet.
True
4
proof
[(((((triple7) -> rule5) triple7) -> rule7) OR ((((triple5 ((triple6) -> rule3)) -> rule8) triple7) -> rule7) OR ((((((triple6) -> rule3) triple5) -> rule6) triple7) -> rule7) OR ((((triple7) -> rule5) ((((triple6) -> rule3) triple5) -> rule1)) -> rule7) OR ((((triple5 ((triple6) -> rule3)) -> rule8) ((((triple6) -> rule3) triple5) -> rule1)) -> rule7) OR ((((((triple6) -> rule3) triple5) -> rule6) ((((triple6) -> rule3) triple5) -> rule1)) -> rule7) OR ((((((((triple6) -> rule3) triple5) -> rule1)) -> rule5) triple7) -> rule7) OR ((((((((triple6) -> rule3) triple5) -> rule1)) -> rule5) ((((triple6) -> rule3) triple5) -> rule1)) -> rule7))]
("Fiona" "is" "quiet" "+")
((((triple7) -> (rule5 % int2)) triple7) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((triple5 ((triple6) -> (rule3 % int3))) -> (rule8 % int2)) triple7) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple6) -> (rule3 % int3)) triple5) -> (rule6 % int2)) triple7) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((triple7) -> (rule5 % int4)) ((((triple6) -> (rule3 % int3)) triple5) -> (rule1 % int2))) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((triple5 ((triple6) -> (rule3 % int4))) -> (rule8 % int3)) ((((triple6) -> (rule3 % int4)) triple5) -> (rule1 % int2))) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((triple6) -> (rule3 % int4)) triple5) -> (rule6 % int3)) ((((triple6) -> (rule3 % int4)) triple5) -> (rule1 % int2))) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((((triple6) -> (rule3 % int4)) triple5) -> (rule1 % int3))) -> (rule5 % int2)) triple7) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((((triple6) -> (rule3 % int4)) triple5) -> (rule1 % int3))) -> (rule5 % int2)) ((((triple6) -> (rule3 % int4)) triple5) -> (rule1 % int3))) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Charlie is not quiet.
False
4
inv-proof
[(((((triple3) -> rule5) triple3) -> rule7) OR ((((((triple1 triple2) -> rule4) triple4) -> rule8) triple3) -> rule7) OR ((((triple3) -> rule5) ((triple4 ((triple1 triple2) -> rule4)) -> rule1)) -> rule7) OR ((((((triple1 triple2) -> rule4) ((triple2) -> rule3)) -> rule8) triple3) -> rule7) OR ((((triple3) -> rule5) ((((triple2) -> rule3) ((triple1 triple2) -> rule4)) -> rule1)) -> rule7) OR ((((((triple1 triple2) -> rule4) triple4) -> rule8) ((triple4 ((triple1 triple2) -> rule4)) -> rule1)) -> rule7) OR ((((((triple1 triple2) -> rule4) triple4) -> rule8) ((((triple2) -> rule3) ((triple1 triple2) -> rule4)) -> rule1)) -> rule7) OR ((((((triple1 triple2) -> rule4) ((triple2) -> rule3)) -> rule8) ((triple4 ((triple1 triple2) -> rule4)) -> rule1)) -> rule7) OR ((((((triple1 triple2) -> rule4) ((triple2) -> rule3)) -> rule8) ((((triple2) -> rule3) ((triple1 triple2) -> rule4)) -> rule1)) -> rule7) OR ((((((triple4 ((triple1 triple2) -> rule4)) -> rule1)) -> rule5) triple3) -> rule7) OR ((((((((triple2) -> rule3) ((triple1 triple2) -> rule4)) -> rule1)) -> rule5) triple3) -> rule7) OR ((((((triple4 ((triple1 triple2) -> rule4)) -> rule1)) -> rule5) ((triple4 ((triple1 triple2) -> rule4)) -> rule1)) -> rule7) OR ((((((triple4 ((triple1 triple2) -> rule4)) -> rule1)) -> rule5) ((((triple2) -> rule3) ((triple1 triple2) -> rule4)) -> rule1)) -> rule7) OR ((((((((triple2) -> rule3) ((triple1 triple2) -> rule4)) -> rule1)) -> rule5) ((triple4 ((triple1 triple2) -> rule4)) -> rule1)) -> rule7) OR ((((((((triple2) -> rule3) ((triple1 triple2) -> rule4)) -> rule1)) -> rule5) ((((triple2) -> rule3) ((triple1 triple2) -> rule4)) -> rule1)) -> rule7))]
("Charlie" "is" "quiet" "-")
((((triple3) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((((((triple1 triple2) -> (rule4 % int3)) triple4) -> (rule8 % int2)) triple3) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple3) -> (rule5 % int4)) ((triple4 ((triple1 triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((((triple1 triple2) -> (rule4 % int4)) ((triple2) -> (rule3 % int3))) -> (rule8 % int2)) triple3) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple3) -> (rule5 % int5)) ((((triple2) -> (rule3 % int4)) ((triple1 triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
((((((triple1 triple2) -> (rule4 % int4)) triple4) -> (rule8 % int3)) ((triple4 ((triple1 triple2) -> (rule4 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple1 triple2) -> (rule4 % int5)) triple4) -> (rule8 % int4)) ((((triple2) -> (rule3 % int3)) ((triple1 triple2) -> (rule4 % int5))) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple1 triple2) -> (rule4 % int5)) ((triple2) -> (rule3 % int4))) -> (rule8 % int3)) ((triple4 ((triple1 triple2) -> (rule4 % int5))) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple1 triple2) -> (rule4 % int5)) ((triple2) -> (rule3 % int4))) -> (rule8 % int3)) ((((triple2) -> (rule3 % int4)) ((triple1 triple2) -> (rule4 % int5))) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple4 ((triple1 triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((((triple2) -> (rule3 % int5)) ((triple1 triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((triple4 ((triple1 triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((triple4 ((triple1 triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple4 ((triple1 triple2) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple2) -> (rule3 % int2)) ((triple1 triple2) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((((triple2) -> (rule3 % int5)) ((triple1 triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((triple4 ((triple1 triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((triple2) -> (rule3 % int5)) ((triple1 triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((((triple2) -> (rule3 % int5)) ((triple1 triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2)] Charlie is round.[(triple3 OR ((triple4 ((triple1 triple2) -> rule4)) -> rule1) OR ((((triple2) -> rule3) ((triple1 triple2) -> rule4)) -> rule1))] Charlie is smart.[(triple4 OR ((triple2) -> rule3))] Fiona is blue.[(triple5)] Fiona is kind.[(triple6)] Fiona is round.[(triple7 OR ((((triple6) -> rule3) triple5) -> rule1))] @1: Charlie is blue.[(((triple1 triple2) -> rule4))] Charlie is red.[(((triple3) -> rule5) OR ((((triple1 triple2) -> rule4) triple4) -> rule8) OR ((((triple1 triple2) -> rule4) ((triple2) -> rule3)) -> rule8) OR ((((triple4 ((triple1 triple2) -> rule4)) -> rule1)) -> rule5) OR ((((((triple2) -> rule3) ((triple1 triple2) -> rule4)) -> rule1)) -> rule5))] Fiona is red.[(((triple7) -> rule5) OR ((triple5 ((triple6) -> rule3)) -> rule8) OR ((((triple6) -> rule3) triple5) -> rule6) OR ((((((triple6) -> rule3) triple5) -> rule1)) -> rule5))] Fiona is smart.[(((triple6) -> rule3))] @2: Charlie is quiet.[(((((triple3) -> rule5) triple3) -> rule7) OR ((((((triple1 triple2) -> rule4) triple4) -> rule8) triple3) -> rule7) OR ((((triple3) -> rule5) ((triple4 ((triple1 triple2) -> rule4)) -> rule1)) -> rule7) OR ((((((triple1 triple2) -> rule4) ((triple2) -> rule3)) -> rule8) triple3) -> rule7) OR ((((triple3) -> rule5) ((((triple2) -> rule3) ((triple1 triple2) -> rule4)) -> rule1)) -> rule7) OR ((((((triple1 triple2) -> rule4) triple4) -> rule8) ((triple4 ((triple1 triple2) -> rule4)) -> rule1)) -> rule7) OR ((((((triple1 triple2) -> rule4) triple4) -> rule8) ((((triple2) -> rule3) ((triple1 triple2) -> rule4)) -> rule1)) -> rule7) OR ((((((triple1 triple2) -> rule4) ((triple2) -> rule3)) -> rule8) ((triple4 ((triple1 triple2) -> rule4)) -> rule1)) -> rule7) OR ((((((triple1 triple2) -> rule4) ((triple2) -> rule3)) -> rule8) ((((triple2) -> rule3) ((triple1 triple2) -> rule4)) -> rule1)) -> rule7) OR ((((((triple4 ((triple1 triple2) -> rule4)) -> rule1)) -> rule5) triple3) -> rule7) OR ((((((((triple2) -> rule3) ((triple1 triple2) -> rule4)) -> rule1)) -> rule5) triple3) -> rule7) OR ((((((triple4 ((triple1 triple2) -> rule4)) -> rule1)) -> rule5) ((triple4 ((triple1 triple2) -> rule4)) -> rule1)) -> rule7) OR ((((((triple4 ((triple1 triple2) -> rule4)) -> rule1)) -> rule5) ((((triple2) -> rule3) ((triple1 triple2) -> rule4)) -> rule1)) -> rule7) OR ((((((((triple2) -> rule3) ((triple1 triple2) -> rule4)) -> rule1)) -> rule5) ((triple4 ((triple1 triple2) -> rule4)) -> rule1)) -> rule7) OR ((((((((triple2) -> rule3) ((triple1 triple2) -> rule4)) -> rule1)) -> rule5) ((((triple2) -> rule3) ((triple1 triple2) -> rule4)) -> rule1)) -> rule7))] Fiona is quiet.[(((((triple7) -> rule5) triple7) -> rule7) OR ((((triple5 ((triple6) -> rule3)) -> rule8) triple7) -> rule7) OR ((((((triple6) -> rule3) triple5) -> rule6) triple7) -> rule7) OR ((((triple7) -> rule5) ((((triple6) -> rule3) triple5) -> rule1)) -> rule7) OR ((((triple5 ((triple6) -> rule3)) -> rule8) ((((triple6) -> rule3) triple5) -> rule1)) -> rule7) OR ((((((triple6) -> rule3) triple5) -> rule6) ((((triple6) -> rule3) triple5) -> rule1)) -> rule7) OR ((((((((triple6) -> rule3) triple5) -> rule1)) -> rule5) triple7) -> rule7) OR ((((((((triple6) -> rule3) triple5) -> rule1)) -> rule5) ((((triple6) -> rule3) triple5) -> rule1)) -> rule7))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple3
((triple4 ((triple1 triple2) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple2) -> (rule3 % int3)) ((triple1 triple2) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
triple4
((triple2) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7
((((triple6) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple1 triple2) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((triple3) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((((triple1 triple2) -> (rule4 % int2)) triple4) -> (rule8 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple1 triple2) -> (rule4 % int3)) ((triple2) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple4 ((triple1 triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((triple2) -> (rule3 % int4)) ((triple1 triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
((triple7) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((triple5 ((triple6) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((triple6) -> (rule3 % int2)) triple5) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((((triple6) -> (rule3 % int3)) triple5) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple6) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((((triple3) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((((((triple1 triple2) -> (rule4 % int3)) triple4) -> (rule8 % int2)) triple3) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple3) -> (rule5 % int4)) ((triple4 ((triple1 triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((((triple1 triple2) -> (rule4 % int4)) ((triple2) -> (rule3 % int3))) -> (rule8 % int2)) triple3) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple3) -> (rule5 % int5)) ((((triple2) -> (rule3 % int4)) ((triple1 triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
((((((triple1 triple2) -> (rule4 % int4)) triple4) -> (rule8 % int3)) ((triple4 ((triple1 triple2) -> (rule4 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple1 triple2) -> (rule4 % int5)) triple4) -> (rule8 % int4)) ((((triple2) -> (rule3 % int3)) ((triple1 triple2) -> (rule4 % int5))) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple1 triple2) -> (rule4 % int5)) ((triple2) -> (rule3 % int4))) -> (rule8 % int3)) ((triple4 ((triple1 triple2) -> (rule4 % int5))) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple1 triple2) -> (rule4 % int5)) ((triple2) -> (rule3 % int4))) -> (rule8 % int3)) ((((triple2) -> (rule3 % int4)) ((triple1 triple2) -> (rule4 % int5))) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple4 ((triple1 triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((((triple2) -> (rule3 % int5)) ((triple1 triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((triple4 ((triple1 triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((triple4 ((triple1 triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple4 ((triple1 triple2) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple2) -> (rule3 % int2)) ((triple1 triple2) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((((triple2) -> (rule3 % int5)) ((triple1 triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((triple4 ((triple1 triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((triple2) -> (rule3 % int5)) ((triple1 triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((((triple2) -> (rule3 % int5)) ((triple1 triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple7) -> (rule5 % int2)) triple7) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((triple5 ((triple6) -> (rule3 % int3))) -> (rule8 % int2)) triple7) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple6) -> (rule3 % int3)) triple5) -> (rule6 % int2)) triple7) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((triple7) -> (rule5 % int4)) ((((triple6) -> (rule3 % int3)) triple5) -> (rule1 % int2))) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((triple5 ((triple6) -> (rule3 % int4))) -> (rule8 % int3)) ((((triple6) -> (rule3 % int4)) triple5) -> (rule1 % int2))) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((triple6) -> (rule3 % int4)) triple5) -> (rule6 % int3)) ((((triple6) -> (rule3 % int4)) triple5) -> (rule1 % int2))) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((((triple6) -> (rule3 % int4)) triple5) -> (rule1 % int3))) -> (rule5 % int2)) triple7) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((((triple6) -> (rule3 % int4)) triple5) -> (rule1 % int3))) -> (rule5 % int2)) ((((triple6) -> (rule3 % int4)) triple5) -> (rule1 % int3))) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4