Dave is cold. Dave is smart. Dave is white. Dave is young. Erin is cold. Erin is kind. Erin is red. Erin is smart. Erin is white. Fiona is cold. Fiona is kind. Gary is kind. Gary is red. Gary is smart. If someone is white and red then they are nice. All smart people are red. If someone is kind and smart then they are cold. Nice people are smart. If someone is cold then they are white. White people are young. All white, young people are smart. Nice people are white. If Gary is kind and Gary is white then Gary is smart.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If someone is white and red then they are nice.
((("someone" "is" "white" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
All smart people are red.
((("someone" "is" "smart" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and smart then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
Nice people are smart.
((("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
If someone is cold then they are white.
((("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
White people are young.
((("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
All white, young people are smart.
((("someone" "is" "white" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
Nice people are white.
((("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
If Gary is kind and Gary is white then Gary is smart.
((("Gary" "is" "kind" "+") ("Gary" "is" "white" "+")) -> ("Gary" "is" "smart" "+"))
Gary is red.
True
1
proof
[(triple13 OR ((triple14) -> rule2))]
("Gary" "is" "red" "+")
triple13
((triple14) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Erin is not white.
False
1
inv-proof
[(triple9 OR ((triple5) -> rule5) OR ((((triple6 triple8) -> rule3)) -> rule5))]
("Erin" "is" "white" "-")
triple9
((triple5) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple6 triple8) -> (rule3 % int2))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is nice.
True
3
proof
[(((triple9 triple7) -> rule1) OR ((triple9 ((triple8) -> rule2)) -> rule1) OR ((((triple5) -> rule5) triple7) -> rule1) OR ((((triple5) -> rule5) ((triple8) -> rule2)) -> rule1) OR ((((((triple6 triple8) -> rule3)) -> rule5) triple7) -> rule1) OR ((((((triple6 triple8) -> rule3)) -> rule5) ((triple8) -> rule2)) -> rule1) OR ((triple9 ((((triple9 ((triple9) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((triple9 ((((((triple5) -> rule5) ((triple9) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((((triple5) -> rule5) ((((triple9 ((triple9) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((((triple5) -> rule5) ((((((triple5) -> rule5) ((triple9) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((((((triple6 triple8) -> rule3)) -> rule5) ((((triple9 ((triple9) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((((((triple6 triple8) -> rule3)) -> rule5) ((((((triple5) -> rule5) ((triple9) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((triple9 ((((triple9 ((((triple5) -> rule5)) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((triple9 ((((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((((triple5) -> rule5) ((((triple9 ((((triple5) -> rule5)) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((((triple5) -> rule5) ((((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((((((triple6 triple8) -> rule3)) -> rule5) ((((triple9 ((((triple5) -> rule5)) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((((((triple6 triple8) -> rule3)) -> rule5) ((((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule6)) -> rule7)) -> rule2)) -> rule1))]
("Erin" "is" "nice" "+")
((triple9 triple7) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((triple9 ((triple8) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple5) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple5) -> (rule5 % int3)) ((triple8) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((triple6 triple8) -> (rule3 % int3))) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple6 triple8) -> (rule3 % int4))) -> (rule5 % int3)) ((triple8) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((triple9 ((((triple9 ((triple9) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((triple9 ((((((triple5) -> (rule5 % int5)) ((triple9) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((triple5) -> (rule5 % int5)) ((((triple9 ((triple9) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((triple5) -> (rule5 % int5)) ((((((triple5) -> (rule5 % int5)) ((triple9) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((triple6 triple8) -> (rule3 % int6))) -> (rule5 % int5)) ((((triple9 ((triple9) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Erin is cold.
("Erin" "is" "cold" "+")
int6
((((((triple6 triple8) -> (rule3 % int6))) -> (rule5 % int5)) ((((((triple5) -> (rule5 % int5)) ((triple9) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Erin is cold.
("Erin" "is" "cold" "+")
int6
((triple9 ((((triple9 ((((triple5) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((triple9 ((((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((triple5) -> (rule5 % int5)) ((((triple9 ((((triple5) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((triple5) -> (rule5 % int5)) ((((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((triple6 triple8) -> (rule3 % int6))) -> (rule5 % int5)) ((((triple9 ((((triple5) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Erin is cold.
("Erin" "is" "cold" "+")
int6
((((((triple6 triple8) -> (rule3 % int6))) -> (rule5 % int5)) ((((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Erin is cold.
("Erin" "is" "cold" "+")
int6
Erin is not nice.
False
3
inv-proof
[(((triple9 triple7) -> rule1) OR ((triple9 ((triple8) -> rule2)) -> rule1) OR ((((triple5) -> rule5) triple7) -> rule1) OR ((((triple5) -> rule5) ((triple8) -> rule2)) -> rule1) OR ((((((triple6 triple8) -> rule3)) -> rule5) triple7) -> rule1) OR ((((((triple6 triple8) -> rule3)) -> rule5) ((triple8) -> rule2)) -> rule1) OR ((triple9 ((((triple9 ((triple9) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((triple9 ((((((triple5) -> rule5) ((triple9) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((((triple5) -> rule5) ((((triple9 ((triple9) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((((triple5) -> rule5) ((((((triple5) -> rule5) ((triple9) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((((((triple6 triple8) -> rule3)) -> rule5) ((((triple9 ((triple9) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((((((triple6 triple8) -> rule3)) -> rule5) ((((((triple5) -> rule5) ((triple9) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((triple9 ((((triple9 ((((triple5) -> rule5)) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((triple9 ((((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((((triple5) -> rule5) ((((triple9 ((((triple5) -> rule5)) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((((triple5) -> rule5) ((((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((((((triple6 triple8) -> rule3)) -> rule5) ((((triple9 ((((triple5) -> rule5)) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((((((triple6 triple8) -> rule3)) -> rule5) ((((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule6)) -> rule7)) -> rule2)) -> rule1))]
("Erin" "is" "nice" "-")
((triple9 triple7) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((triple9 ((triple8) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple5) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple5) -> (rule5 % int3)) ((triple8) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((triple6 triple8) -> (rule3 % int3))) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple6 triple8) -> (rule3 % int4))) -> (rule5 % int3)) ((triple8) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((triple9 ((((triple9 ((triple9) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((triple9 ((((((triple5) -> (rule5 % int5)) ((triple9) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((triple5) -> (rule5 % int5)) ((((triple9 ((triple9) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((triple5) -> (rule5 % int5)) ((((((triple5) -> (rule5 % int5)) ((triple9) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((triple6 triple8) -> (rule3 % int6))) -> (rule5 % int5)) ((((triple9 ((triple9) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Erin is cold.
("Erin" "is" "cold" "+")
int6
((((((triple6 triple8) -> (rule3 % int6))) -> (rule5 % int5)) ((((((triple5) -> (rule5 % int5)) ((triple9) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Erin is cold.
("Erin" "is" "cold" "+")
int6
((triple9 ((((triple9 ((((triple5) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((triple9 ((((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((triple5) -> (rule5 % int5)) ((((triple9 ((((triple5) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((triple5) -> (rule5 % int5)) ((((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((triple6 triple8) -> (rule3 % int6))) -> (rule5 % int5)) ((((triple9 ((((triple5) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Erin is cold.
("Erin" "is" "cold" "+")
int6
((((((triple6 triple8) -> (rule3 % int6))) -> (rule5 % int5)) ((((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Erin is cold.
("Erin" "is" "cold" "+")
int6
Fiona is young.
True
3
proof
[(((((triple10) -> rule5)) -> rule6))]
("Fiona" "is" "young" "+")
((((triple10) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is not young.
False
3
inv-proof
[(((((triple10) -> rule5)) -> rule6))]
("Fiona" "is" "young" "-")
((((triple10) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is smart.
True
6
proof
[(((((triple10) -> rule5) ((((triple10) -> rule5)) -> rule6)) -> rule7))]
("Fiona" "is" "smart" "+")
((((triple10) -> (rule5 % int3)) ((((triple10) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Gary is not young.
False
5
inv-proof
[(((((((triple12 triple14) -> rule3)) -> rule5)) -> rule6))]
("Gary" "is" "young" "-")
((((((triple12 triple14) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Fiona is red.
True
7
proof
[(((((((triple10) -> rule5) ((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule2))]
("Fiona" "is" "red" "+")
((((((triple10) -> (rule5 % int4)) ((((triple10) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is not red.
False
7
inv-proof
[(((((((triple10) -> rule5) ((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule2))]
("Fiona" "is" "red" "-")
((((((triple10) -> (rule5 % int4)) ((((triple10) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is nice.
True
10
proof
[(((((triple10) -> rule5) ((((((triple10) -> rule5) ((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule2)) -> rule1))]
("Fiona" "is" "nice" "+")
((((triple10) -> (rule5 % int5)) ((((((triple10) -> (rule5 % int5)) ((((triple10) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
Fiona is not nice.
False
10
inv-proof
[(((((triple10) -> rule5) ((((((triple10) -> rule5) ((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule2)) -> rule1))]
("Fiona" "is" "nice" "-")
((((triple10) -> (rule5 % int5)) ((((((triple10) -> (rule5 % int5)) ((((triple10) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
@0: Dave is cold.[(triple1)] Dave is smart.[(triple2 OR ((triple3 triple4) -> rule7) OR ((triple3 ((triple3) -> rule6)) -> rule7) OR ((((triple1) -> rule5) triple4) -> rule7) OR ((((triple1) -> rule5) ((triple3) -> rule6)) -> rule7) OR ((triple3 ((((triple1) -> rule5)) -> rule6)) -> rule7) OR ((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule6)) -> rule7))] Dave is white.[(triple3 OR ((triple1) -> rule5))] Dave is young.[(triple4 OR ((triple3) -> rule6) OR ((((triple1) -> rule5)) -> rule6))] Erin is cold.[(triple5 OR ((triple6 triple8) -> rule3) OR ((triple6 ((((triple9 triple7) -> rule1)) -> rule4)) -> rule3) OR ((triple6 ((triple9 ((triple9) -> rule6)) -> rule7)) -> rule3))] Erin is kind.[(triple6)] Erin is red.[(triple7 OR ((triple8) -> rule2) OR ((((triple9 ((triple9) -> rule6)) -> rule7)) -> rule2) OR ((((((triple5) -> rule5) ((triple9) -> rule6)) -> rule7)) -> rule2) OR ((((triple9 ((((triple5) -> rule5)) -> rule6)) -> rule7)) -> rule2) OR ((((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule6)) -> rule7)) -> rule2))] Erin is smart.[(triple8 OR ((((triple9 triple7) -> rule1)) -> rule4) OR ((triple9 ((triple9) -> rule6)) -> rule7) OR ((((triple5) -> rule5) ((triple9) -> rule6)) -> rule7) OR ((((((triple5) -> rule5) triple7) -> rule1)) -> rule4) OR ((triple9 ((((triple5) -> rule5)) -> rule6)) -> rule7) OR ((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule6)) -> rule7))] Erin is white.[(triple9 OR ((triple5) -> rule5) OR ((((triple6 triple8) -> rule3)) -> rule5))] Fiona is cold.[(triple10)] Fiona is kind.[(triple11)] Gary is kind.[(triple12)] Gary is red.[(triple13 OR ((triple14) -> rule2))] Gary is smart.[(triple14)] @1: Dave is red.[(((triple2) -> rule2) OR ((((triple3 triple4) -> rule7)) -> rule2) OR ((((triple3 ((triple3) -> rule6)) -> rule7)) -> rule2) OR ((((((triple1) -> rule5) triple4) -> rule7)) -> rule2) OR ((((((triple1) -> rule5) ((triple3) -> rule6)) -> rule7)) -> rule2) OR ((((triple3 ((((triple1) -> rule5)) -> rule6)) -> rule7)) -> rule2) OR ((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule6)) -> rule7)) -> rule2))] Erin is nice.[(((triple9 triple7) -> rule1) OR ((triple9 ((triple8) -> rule2)) -> rule1) OR ((((triple5) -> rule5) triple7) -> rule1) OR ((((triple5) -> rule5) ((triple8) -> rule2)) -> rule1) OR ((((((triple6 triple8) -> rule3)) -> rule5) triple7) -> rule1) OR ((((((triple6 triple8) -> rule3)) -> rule5) ((triple8) -> rule2)) -> rule1) OR ((triple9 ((((triple9 ((triple9) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((triple9 ((((((triple5) -> rule5) ((triple9) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((((triple5) -> rule5) ((((triple9 ((triple9) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((((triple5) -> rule5) ((((((triple5) -> rule5) ((triple9) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((((((triple6 triple8) -> rule3)) -> rule5) ((((triple9 ((triple9) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((((((triple6 triple8) -> rule3)) -> rule5) ((((((triple5) -> rule5) ((triple9) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((triple9 ((((triple9 ((((triple5) -> rule5)) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((triple9 ((((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((((triple5) -> rule5) ((((triple9 ((((triple5) -> rule5)) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((((triple5) -> rule5) ((((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((((((triple6 triple8) -> rule3)) -> rule5) ((((triple9 ((((triple5) -> rule5)) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((((((triple6 triple8) -> rule3)) -> rule5) ((((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule6)) -> rule7)) -> rule2)) -> rule1))] Erin is young.[(((triple9) -> rule6) OR ((((triple5) -> rule5)) -> rule6) OR ((((((triple6 triple8) -> rule3)) -> rule5)) -> rule6))] Fiona is white.[(((triple10) -> rule5))] Gary is cold.[(((triple12 triple14) -> rule3))] @2: Dave is nice.[(((triple3 ((triple2) -> rule2)) -> rule1) OR ((((triple1) -> rule5) ((triple2) -> rule2)) -> rule1) OR ((triple3 ((((triple3 triple4) -> rule7)) -> rule2)) -> rule1) OR ((((triple1) -> rule5) ((((triple3 triple4) -> rule7)) -> rule2)) -> rule1) OR ((triple3 ((((triple3 ((triple3) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((triple3 ((((((triple1) -> rule5) triple4) -> rule7)) -> rule2)) -> rule1) OR ((triple3 ((((((triple1) -> rule5) ((triple3) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((((triple1) -> rule5) ((((triple3 ((triple3) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((((triple1) -> rule5) ((((((triple1) -> rule5) triple4) -> rule7)) -> rule2)) -> rule1) OR ((((triple1) -> rule5) ((((((triple1) -> rule5) ((triple3) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((triple3 ((((triple3 ((((triple1) -> rule5)) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((triple3 ((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((((triple1) -> rule5) ((((triple3 ((((triple1) -> rule5)) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((((triple1) -> rule5) ((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule6)) -> rule7)) -> rule2)) -> rule1))] Fiona is young.[(((((triple10) -> rule5)) -> rule6))] Gary is white.[(((((triple12 triple14) -> rule3)) -> rule5))] @3: Fiona is smart.[(((((triple10) -> rule5) ((((triple10) -> rule5)) -> rule6)) -> rule7))] Gary is nice.[(((((((triple12 triple14) -> rule3)) -> rule5) triple13) -> rule1) OR ((((((triple12 triple14) -> rule3)) -> rule5) ((triple14) -> rule2)) -> rule1))] Gary is young.[(((((((triple12 triple14) -> rule3)) -> rule5)) -> rule6))] @4: Fiona is red.[(((((((triple10) -> rule5) ((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule2))] @5: Fiona is nice.[(((((triple10) -> rule5) ((((((triple10) -> rule5) ((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule2)) -> rule1))]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Dave is smart.
("Dave" "is" "smart" "+")
triple2
((triple3 triple4) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((triple3 ((triple3) -> (rule6 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((triple1) -> (rule5 % int2)) triple4) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple1) -> (rule5 % int3)) ((triple3) -> (rule6 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((triple3 ((((triple1) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple1) -> (rule5 % int3)) ((((triple1) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
triple3
((triple1) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
triple4
((triple3) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((((triple1) -> (rule5 % int2))) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
triple5
((triple6 triple8) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple6 ((((triple9 triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((triple6 ((triple9 ((triple9) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
triple6
Erin is red.
("Erin" "is" "red" "+")
triple7
((triple8) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((((triple9 ((triple9) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((triple5) -> (rule5 % int4)) ((triple9) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple9 ((((triple5) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple5) -> (rule5 % int4)) ((((triple5) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
triple8
((((triple9 triple7) -> (rule1 % int2))) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((triple9 ((triple9) -> (rule6 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple5) -> (rule5 % int3)) ((triple9) -> (rule6 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((triple5) -> (rule5 % int3)) triple7) -> (rule1 % int2))) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((triple9 ((((triple5) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((triple5) -> (rule5 % int3)) ((((triple5) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
triple9
((triple5) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple6 triple8) -> (rule3 % int2))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple10
Fiona is kind.
("Fiona" "is" "kind" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple12
Gary is red.
("Gary" "is" "red" "+")
triple13
((triple14) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
triple14
Dave is red.
("Dave" "is" "red" "+")
((triple2) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((((triple3 triple4) -> (rule7 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple3 ((triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((triple1) -> (rule5 % int3)) triple4) -> (rule7 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((((triple1) -> (rule5 % int4)) ((triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple3 ((((triple1) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((triple1) -> (rule5 % int4)) ((((triple1) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
((triple9 triple7) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((triple9 ((triple8) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple5) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple5) -> (rule5 % int3)) ((triple8) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((triple6 triple8) -> (rule3 % int3))) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple6 triple8) -> (rule3 % int4))) -> (rule5 % int3)) ((triple8) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((triple9 ((((triple9 ((triple9) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((triple9 ((((((triple5) -> (rule5 % int5)) ((triple9) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((triple5) -> (rule5 % int5)) ((((triple9 ((triple9) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((triple5) -> (rule5 % int5)) ((((((triple5) -> (rule5 % int5)) ((triple9) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((triple6 triple8) -> (rule3 % int6))) -> (rule5 % int5)) ((((triple9 ((triple9) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Erin is cold.
("Erin" "is" "cold" "+")
int6
((((((triple6 triple8) -> (rule3 % int6))) -> (rule5 % int5)) ((((((triple5) -> (rule5 % int5)) ((triple9) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Erin is cold.
("Erin" "is" "cold" "+")
int6
((triple9 ((((triple9 ((((triple5) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((triple9 ((((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((triple5) -> (rule5 % int5)) ((((triple9 ((((triple5) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((triple5) -> (rule5 % int5)) ((((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((triple6 triple8) -> (rule3 % int6))) -> (rule5 % int5)) ((((triple9 ((((triple5) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Erin is cold.
("Erin" "is" "cold" "+")
int6
((((((triple6 triple8) -> (rule3 % int6))) -> (rule5 % int5)) ((((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Erin is cold.
("Erin" "is" "cold" "+")
int6
Erin is young.
("Erin" "is" "young" "+")
((triple9) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((((triple5) -> (rule5 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((((triple6 triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
((triple10) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple12 triple14) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple3 ((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((((triple1) -> (rule5 % int3)) ((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((triple3 ((((triple3 triple4) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((triple1) -> (rule5 % int4)) ((((triple3 triple4) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((triple3 ((((triple3 ((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((triple3 ((((((triple1) -> (rule5 % int4)) triple4) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((triple3 ((((((triple1) -> (rule5 % int5)) ((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((triple1) -> (rule5 % int5)) ((((triple3 ((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((triple1) -> (rule5 % int4)) ((((((triple1) -> (rule5 % int4)) triple4) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple1) -> (rule5 % int5)) ((((((triple1) -> (rule5 % int5)) ((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((triple3 ((((triple3 ((((triple1) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((triple3 ((((((triple1) -> (rule5 % int5)) ((((triple1) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((triple1) -> (rule5 % int5)) ((((triple3 ((((triple1) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((triple1) -> (rule5 % int5)) ((((((triple1) -> (rule5 % int5)) ((((triple1) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
Fiona is young.
("Fiona" "is" "young" "+")
((((triple10) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
((((triple12 triple14) -> (rule3 % int2))) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple10) -> (rule5 % int3)) ((((triple10) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
((((((triple12 triple14) -> (rule3 % int3))) -> (rule5 % int2)) triple13) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((((triple12 triple14) -> (rule3 % int4))) -> (rule5 % int3)) ((triple14) -> (rule2 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
((((((triple12 triple14) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
((((((triple10) -> (rule5 % int4)) ((((triple10) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple10) -> (rule5 % int5)) ((((((triple10) -> (rule5 % int5)) ((((triple10) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5