Anne is big. Anne is blue. Anne is kind. Anne is rough. Bob is blue. Bob is kind. Bob is red. Fiona is red. Fiona is rough. Harry is blue. Harry is rough. Kind, rough people are young. All rough people are kind. If someone is young then they are white. If someone is big and white then they are red. All young, white people are blue. Big, white people are young. All blue, rough people are big. If Anne is kind and Anne is blue then Anne is white.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is red.
("Bob" "is" "red" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Kind, rough people are young.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
All rough people are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is young then they are white.
((("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
If someone is big and white then they are red.
((("someone" "is" "big" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
All young, white people are blue.
((("someone" "is" "young" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
Big, white people are young.
((("someone" "is" "big" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
All blue, rough people are big.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If Anne is kind and Anne is blue then Anne is white.
((("Anne" "is" "kind" "+") ("Anne" "is" "blue" "+")) -> ("Anne" "is" "white" "+"))
Fiona is rough.
True
1
proof
[(triple9)]
("Fiona" "is" "rough" "+")
triple9
Anne is not kind.
False
1
inv-proof
[(triple3 OR ((triple4) -> rule2))]
("Anne" "is" "kind" "-")
triple3
((triple4) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Fiona is kind.
True
2
proof
[(((triple9) -> rule2))]
("Fiona" "is" "kind" "+")
((triple9) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Harry is not big.
False
3
inv-proof
[(((triple10 triple11) -> rule7) OR ((((((((triple11) -> rule2) triple11) -> rule1) ((((((triple11) -> rule2) triple11) -> rule1)) -> rule3)) -> rule5) triple11) -> rule7))]
("Harry" "is" "big" "-")
((triple10 triple11) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((((((triple11) -> (rule2 % int5)) triple11) -> (rule1 % int4)) ((((((triple11) -> (rule2 % int5)) triple11) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple11) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Anne is red.
True
5
proof
[(((triple1 ((triple3 triple2) -> rule8)) -> rule4) OR ((((triple2 triple4) -> rule7) ((triple3 triple2) -> rule8)) -> rule4) OR ((triple1 ((((triple3 triple4) -> rule1)) -> rule3)) -> rule4) OR ((triple1 ((((triple4) -> rule2) triple2) -> rule8)) -> rule4) OR ((((triple2 triple4) -> rule7) ((((triple3 triple4) -> rule1)) -> rule3)) -> rule4) OR ((((triple2 triple4) -> rule7) ((((triple4) -> rule2) triple2) -> rule8)) -> rule4) OR ((triple1 ((((((triple4) -> rule2) triple4) -> rule1)) -> rule3)) -> rule4) OR ((((triple2 triple4) -> rule7) ((((((triple4) -> rule2) triple4) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple3 triple4) -> rule1) ((((triple3 triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7) ((triple3 triple2) -> rule8)) -> rule4) OR ((((((((triple3 triple4) -> rule1) ((((triple3 triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7) ((((triple3 triple4) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple3 triple4) -> rule1) ((((triple3 triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7) ((((triple4) -> rule2) triple2) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2) triple4) -> rule1) ((((triple3 triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7) ((triple3 triple2) -> rule8)) -> rule4) OR ((((((((triple3 triple4) -> rule1) ((((triple3 triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7) ((((((triple4) -> rule2) triple4) -> rule1)) -> rule3)) -> rule4) OR ((((((((((triple4) -> rule2) triple4) -> rule1) ((((triple3 triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7) ((((triple3 triple4) -> rule1)) -> rule3)) -> rule4) OR ((((((((((triple4) -> rule2) triple4) -> rule1) ((((triple3 triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7) ((((triple4) -> rule2) triple2) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2) triple4) -> rule1) ((((triple3 triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7) ((((((triple4) -> rule2) triple4) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple3 triple4) -> rule1) ((((((triple4) -> rule2) triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7) ((triple3 triple2) -> rule8)) -> rule4) OR ((((((((triple3 triple4) -> rule1) ((((((triple4) -> rule2) triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7) ((((triple3 triple4) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple3 triple4) -> rule1) ((((((triple4) -> rule2) triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7) ((((triple4) -> rule2) triple2) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2) triple4) -> rule1) ((((((triple4) -> rule2) triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7) ((triple3 triple2) -> rule8)) -> rule4) OR ((((((((triple3 triple4) -> rule1) ((((((triple4) -> rule2) triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7) ((((((triple4) -> rule2) triple4) -> rule1)) -> rule3)) -> rule4) OR ((((((((((triple4) -> rule2) triple4) -> rule1) ((((((triple4) -> rule2) triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7) ((((triple3 triple4) -> rule1)) -> rule3)) -> rule4) OR ((((((((((triple4) -> rule2) triple4) -> rule1) ((((((triple4) -> rule2) triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7) ((((triple4) -> rule2) triple2) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2) triple4) -> rule1) ((((((triple4) -> rule2) triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7) ((((((triple4) -> rule2) triple4) -> rule1)) -> rule3)) -> rule4))]
("Anne" "is" "red" "+")
((triple1 ((triple3 triple2) -> (rule8 % int2))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((triple2 triple4) -> (rule7 % int3)) ((triple3 triple2) -> (rule8 % int2))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((triple1 ((((triple3 triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((triple1 ((((triple4) -> (rule2 % int3)) triple2) -> (rule8 % int2))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((triple2 triple4) -> (rule7 % int4)) ((((triple3 triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((triple2 triple4) -> (rule7 % int4)) ((((triple4) -> (rule2 % int3)) triple2) -> (rule8 % int2))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((triple1 ((((((triple4) -> (rule2 % int4)) triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((triple2 triple4) -> (rule7 % int5)) ((((((triple4) -> (rule2 % int4)) triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((((triple3 triple4) -> (rule1 % int5)) ((((triple3 triple4) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule7 % int2)) ((triple3 triple2) -> (rule8 % int4))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((((triple3 triple4) -> (rule1 % int5)) ((((triple3 triple4) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule7 % int2)) ((((triple3 triple4) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((((triple3 triple4) -> (rule1 % int6)) ((((triple3 triple4) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule5 % int4)) triple4) -> (rule7 % int3)) ((((triple4) -> (rule2 % int2)) triple2) -> (rule8 % int5))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((((triple4) -> (rule2 % int6)) triple4) -> (rule1 % int5)) ((((triple3 triple4) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule7 % int2)) ((triple3 triple2) -> (rule8 % int4))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
((((((((triple3 triple4) -> (rule1 % int6)) ((((triple3 triple4) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule5 % int4)) triple4) -> (rule7 % int3)) ((((((triple4) -> (rule2 % int2)) triple4) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((((triple4) -> (rule2 % int6)) triple4) -> (rule1 % int5)) ((((triple3 triple4) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule7 % int2)) ((((triple3 triple4) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
((((((((((triple4) -> (rule2 % int6)) triple4) -> (rule1 % int5)) ((((triple3 triple4) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule7 % int2)) ((((triple4) -> (rule2 % int6)) triple2) -> (rule8 % int4))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
((((((((((triple4) -> (rule2 % int6)) triple4) -> (rule1 % int5)) ((((triple3 triple4) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule7 % int2)) ((((((triple4) -> (rule2 % int6)) triple4) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
((((((((triple3 triple4) -> (rule1 % int6)) ((((((triple4) -> (rule2 % int5)) triple4) -> (rule1 % int6))) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule7 % int2)) ((triple3 triple2) -> (rule8 % int4))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((triple3 triple4) -> (rule1 % int6)) ((((((triple4) -> (rule2 % int5)) triple4) -> (rule1 % int6))) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule7 % int2)) ((((triple3 triple4) -> (rule1 % int6))) -> (rule3 % int4))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((triple3 triple4) -> (rule1 % int6)) ((((((triple4) -> (rule2 % int5)) triple4) -> (rule1 % int6))) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule7 % int2)) ((((triple4) -> (rule2 % int5)) triple2) -> (rule8 % int4))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((((triple4) -> (rule2 % int6)) triple4) -> (rule1 % int5)) ((((((triple4) -> (rule2 % int6)) triple4) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule7 % int2)) ((triple3 triple2) -> (rule8 % int4))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
((((((((triple3 triple4) -> (rule1 % int6)) ((((((triple4) -> (rule2 % int5)) triple4) -> (rule1 % int6))) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule7 % int2)) ((((((triple4) -> (rule2 % int5)) triple4) -> (rule1 % int6))) -> (rule3 % int4))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((((triple4) -> (rule2 % int6)) triple4) -> (rule1 % int5)) ((((((triple4) -> (rule2 % int6)) triple4) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule7 % int2)) ((((triple3 triple4) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
((((((((((triple4) -> (rule2 % int6)) triple4) -> (rule1 % int5)) ((((((triple4) -> (rule2 % int6)) triple4) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule7 % int2)) ((((triple4) -> (rule2 % int6)) triple2) -> (rule8 % int4))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
((((((((((triple4) -> (rule2 % int6)) triple4) -> (rule1 % int5)) ((((((triple4) -> (rule2 % int6)) triple4) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule7 % int2)) ((((((triple4) -> (rule2 % int6)) triple4) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
Fiona is not young.
False
4
inv-proof
[(((((triple9) -> rule2) triple9) -> rule1))]
("Fiona" "is" "young" "-")
((((triple9) -> (rule2 % int2)) triple9) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Harry is white.
True
5
proof
[(((((((triple11) -> rule2) triple11) -> rule1)) -> rule3))]
("Harry" "is" "white" "+")
((((((triple11) -> (rule2 % int3)) triple11) -> (rule1 % int2))) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Fiona is not white.
False
5
inv-proof
[(((((((triple9) -> rule2) triple9) -> rule1)) -> rule3))]
("Fiona" "is" "white" "-")
((((((triple9) -> (rule2 % int3)) triple9) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Harry is red.
True
9
proof
[(((((triple10 triple11) -> rule7) ((((((triple11) -> rule2) triple11) -> rule1)) -> rule3)) -> rule4) OR ((((((((((triple11) -> rule2) triple11) -> rule1) ((((((triple11) -> rule2) triple11) -> rule1)) -> rule3)) -> rule5) triple11) -> rule7) ((((((triple11) -> rule2) triple11) -> rule1)) -> rule3)) -> rule4))]
("Harry" "is" "red" "+")
((((triple10 triple11) -> (rule7 % int5)) ((((((triple11) -> (rule2 % int4)) triple11) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((((((triple11) -> (rule2 % int6)) triple11) -> (rule1 % int5)) ((((((triple11) -> (rule2 % int6)) triple11) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) triple11) -> (rule7 % int2)) ((((((triple11) -> (rule2 % int6)) triple11) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
Harry is kind.
("Harry" "is" "kind" "+")
int6
Harry is not red.
False
9
inv-proof
[(((((triple10 triple11) -> rule7) ((((((triple11) -> rule2) triple11) -> rule1)) -> rule3)) -> rule4) OR ((((((((((triple11) -> rule2) triple11) -> rule1) ((((((triple11) -> rule2) triple11) -> rule1)) -> rule3)) -> rule5) triple11) -> rule7) ((((((triple11) -> rule2) triple11) -> rule1)) -> rule3)) -> rule4))]
("Harry" "is" "red" "-")
((((triple10 triple11) -> (rule7 % int5)) ((((((triple11) -> (rule2 % int4)) triple11) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((((((triple11) -> (rule2 % int6)) triple11) -> (rule1 % int5)) ((((((triple11) -> (rule2 % int6)) triple11) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) triple11) -> (rule7 % int2)) ((((((triple11) -> (rule2 % int6)) triple11) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
Harry is kind.
("Harry" "is" "kind" "+")
int6
Fiona is big.
True
12
proof
[(((((((((triple9) -> rule2) triple9) -> rule1) ((((((triple9) -> rule2) triple9) -> rule1)) -> rule3)) -> rule5) triple9) -> rule7))]
("Fiona" "is" "big" "+")
((((((((triple9) -> (rule2 % int5)) triple9) -> (rule1 % int4)) ((((((triple9) -> (rule2 % int5)) triple9) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple9) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
Fiona is not big.
False
12
inv-proof
[(((((((((triple9) -> rule2) triple9) -> rule1) ((((((triple9) -> rule2) triple9) -> rule1)) -> rule3)) -> rule5) triple9) -> rule7))]
("Fiona" "is" "big" "-")
((((((((triple9) -> (rule2 % int5)) triple9) -> (rule1 % int4)) ((((((triple9) -> (rule2 % int5)) triple9) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple9) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
Bob is not white.
Unknown
inv-rconc
[@2: Bob is white.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Bob" "is" "white" "-")
Bob is big.
Unknown
rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "big" "+")
Bob is not young.
Unknown
inv-rconc
[@2: Bob is young.[CWA. Example of deepest failure = (rule6 <- rule7 <- FAIL)]]
("Bob" "is" "young" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Anne is big.[(triple1 OR ((triple2 triple4) -> rule7) OR ((((((triple3 triple4) -> rule1) ((((triple3 triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7) OR ((((((((triple4) -> rule2) triple4) -> rule1) ((((triple3 triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7) OR ((((((triple3 triple4) -> rule1) ((((((triple4) -> rule2) triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7) OR ((((((((triple4) -> rule2) triple4) -> rule1) ((((((triple4) -> rule2) triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7))] Anne is blue.[(triple2 OR ((((triple3 triple4) -> rule1) ((((triple3 triple4) -> rule1)) -> rule3)) -> rule5) OR ((((((triple4) -> rule2) triple4) -> rule1) ((((triple3 triple4) -> rule1)) -> rule3)) -> rule5) OR ((((triple3 triple4) -> rule1) ((((((triple4) -> rule2) triple4) -> rule1)) -> rule3)) -> rule5) OR ((((((triple4) -> rule2) triple4) -> rule1) ((((((triple4) -> rule2) triple4) -> rule1)) -> rule3)) -> rule5))] Anne is kind.[(triple3 OR ((triple4) -> rule2))] Anne is rough.[(triple4)] Bob is blue.[(triple5)] Bob is kind.[(triple6)] Bob is red.[(triple7)] Fiona is red.[(triple8 OR ((((((((((triple9) -> rule2) triple9) -> rule1) ((((((triple9) -> rule2) triple9) -> rule1)) -> rule3)) -> rule5) triple9) -> rule7) ((((((triple9) -> rule2) triple9) -> rule1)) -> rule3)) -> rule4))] Fiona is rough.[(triple9)] Harry is blue.[(triple10 OR ((((((triple11) -> rule2) triple11) -> rule1) ((((((triple11) -> rule2) triple11) -> rule1)) -> rule3)) -> rule5))] Harry is rough.[(triple11)] @1: Anne is white.[(((triple3 triple2) -> rule8) OR ((((triple3 triple4) -> rule1)) -> rule3) OR ((((triple4) -> rule2) triple2) -> rule8) OR ((((((triple4) -> rule2) triple4) -> rule1)) -> rule3))] Anne is young.[(((triple3 triple4) -> rule1) OR ((triple1 ((triple3 triple2) -> rule8)) -> rule6) OR ((((triple4) -> rule2) triple4) -> rule1) OR ((((triple2 triple4) -> rule7) ((triple3 triple2) -> rule8)) -> rule6) OR ((triple1 ((((triple4) -> rule2) triple2) -> rule8)) -> rule6) OR ((((triple2 triple4) -> rule7) ((((triple4) -> rule2) triple2) -> rule8)) -> rule6))] Fiona is kind.[(((triple9) -> rule2))] Harry is big.[(((triple10 triple11) -> rule7) OR ((((((((triple11) -> rule2) triple11) -> rule1) ((((((triple11) -> rule2) triple11) -> rule1)) -> rule3)) -> rule5) triple11) -> rule7))] Harry is kind.[(((triple11) -> rule2))] @2: Anne is red.[(((triple1 ((triple3 triple2) -> rule8)) -> rule4) OR ((((triple2 triple4) -> rule7) ((triple3 triple2) -> rule8)) -> rule4) OR ((triple1 ((((triple3 triple4) -> rule1)) -> rule3)) -> rule4) OR ((triple1 ((((triple4) -> rule2) triple2) -> rule8)) -> rule4) OR ((((triple2 triple4) -> rule7) ((((triple3 triple4) -> rule1)) -> rule3)) -> rule4) OR ((((triple2 triple4) -> rule7) ((((triple4) -> rule2) triple2) -> rule8)) -> rule4) OR ((triple1 ((((((triple4) -> rule2) triple4) -> rule1)) -> rule3)) -> rule4) OR ((((triple2 triple4) -> rule7) ((((((triple4) -> rule2) triple4) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple3 triple4) -> rule1) ((((triple3 triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7) ((triple3 triple2) -> rule8)) -> rule4) OR ((((((((triple3 triple4) -> rule1) ((((triple3 triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7) ((((triple3 triple4) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple3 triple4) -> rule1) ((((triple3 triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7) ((((triple4) -> rule2) triple2) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2) triple4) -> rule1) ((((triple3 triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7) ((triple3 triple2) -> rule8)) -> rule4) OR ((((((((triple3 triple4) -> rule1) ((((triple3 triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7) ((((((triple4) -> rule2) triple4) -> rule1)) -> rule3)) -> rule4) OR ((((((((((triple4) -> rule2) triple4) -> rule1) ((((triple3 triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7) ((((triple3 triple4) -> rule1)) -> rule3)) -> rule4) OR ((((((((((triple4) -> rule2) triple4) -> rule1) ((((triple3 triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7) ((((triple4) -> rule2) triple2) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2) triple4) -> rule1) ((((triple3 triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7) ((((((triple4) -> rule2) triple4) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple3 triple4) -> rule1) ((((((triple4) -> rule2) triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7) ((triple3 triple2) -> rule8)) -> rule4) OR ((((((((triple3 triple4) -> rule1) ((((((triple4) -> rule2) triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7) ((((triple3 triple4) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple3 triple4) -> rule1) ((((((triple4) -> rule2) triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7) ((((triple4) -> rule2) triple2) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2) triple4) -> rule1) ((((((triple4) -> rule2) triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7) ((triple3 triple2) -> rule8)) -> rule4) OR ((((((((triple3 triple4) -> rule1) ((((((triple4) -> rule2) triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7) ((((((triple4) -> rule2) triple4) -> rule1)) -> rule3)) -> rule4) OR ((((((((((triple4) -> rule2) triple4) -> rule1) ((((((triple4) -> rule2) triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7) ((((triple3 triple4) -> rule1)) -> rule3)) -> rule4) OR ((((((((((triple4) -> rule2) triple4) -> rule1) ((((((triple4) -> rule2) triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7) ((((triple4) -> rule2) triple2) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2) triple4) -> rule1) ((((((triple4) -> rule2) triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule7) ((((((triple4) -> rule2) triple4) -> rule1)) -> rule3)) -> rule4))] Fiona is young.[(((((triple9) -> rule2) triple9) -> rule1))] Harry is young.[(((((triple11) -> rule2) triple11) -> rule1))] @3: Fiona is white.[(((((((triple9) -> rule2) triple9) -> rule1)) -> rule3))] Harry is white.[(((((((triple11) -> rule2) triple11) -> rule1)) -> rule3))] @4: Fiona is blue.[(((((((triple9) -> rule2) triple9) -> rule1) ((((((triple9) -> rule2) triple9) -> rule1)) -> rule3)) -> rule5))] Harry is red.[(((((triple10 triple11) -> rule7) ((((((triple11) -> rule2) triple11) -> rule1)) -> rule3)) -> rule4) OR ((((((((((triple11) -> rule2) triple11) -> rule1) ((((((triple11) -> rule2) triple11) -> rule1)) -> rule3)) -> rule5) triple11) -> rule7) ((((((triple11) -> rule2) triple11) -> rule1)) -> rule3)) -> rule4))] @5: Fiona is big.[(((((((((triple9) -> rule2) triple9) -> rule1) ((((((triple9) -> rule2) triple9) -> rule1)) -> rule3)) -> rule5) triple9) -> rule7))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple2 triple4) -> (rule7 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((((triple3 triple4) -> (rule1 % int4)) ((((triple3 triple4) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple4) -> (rule7 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((((triple4) -> (rule2 % int5)) triple4) -> (rule1 % int4)) ((((triple3 triple4) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple4) -> (rule7 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((triple3 triple4) -> (rule1 % int5)) ((((((triple4) -> (rule2 % int4)) triple4) -> (rule1 % int5))) -> (rule3 % int3))) -> (rule5 % int2)) triple4) -> (rule7 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((((triple4) -> (rule2 % int5)) triple4) -> (rule1 % int4)) ((((((triple4) -> (rule2 % int5)) triple4) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple4) -> (rule7 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is blue.
("Anne" "is" "blue" "+")
triple2
((((triple3 triple4) -> (rule1 % int3)) ((((triple3 triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((((triple4) -> (rule2 % int4)) triple4) -> (rule1 % int3)) ((((triple3 triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((triple3 triple4) -> (rule1 % int4)) ((((((triple4) -> (rule2 % int3)) triple4) -> (rule1 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((triple4) -> (rule2 % int4)) triple4) -> (rule1 % int3)) ((((((triple4) -> (rule2 % int4)) triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
triple3
((triple4) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple6
Bob is red.
("Bob" "is" "red" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple8
((((((((((triple9) -> (rule2 % int6)) triple9) -> (rule1 % int5)) ((((((triple9) -> (rule2 % int6)) triple9) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) triple9) -> (rule7 % int2)) ((((((triple9) -> (rule2 % int6)) triple9) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
Fiona is kind.
("Fiona" "is" "kind" "+")
int6
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple10
((((((triple11) -> (rule2 % int4)) triple11) -> (rule1 % int3)) ((((((triple11) -> (rule2 % int4)) triple11) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Anne is white.
("Anne" "is" "white" "+")
((triple3 triple2) -> (rule8 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((((triple3 triple4) -> (rule1 % int2))) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((triple4) -> (rule2 % int2)) triple2) -> (rule8 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((((triple4) -> (rule2 % int3)) triple4) -> (rule1 % int2))) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
((triple3 triple4) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((triple1 ((triple3 triple2) -> (rule8 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((triple4) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((triple2 triple4) -> (rule7 % int3)) ((triple3 triple2) -> (rule8 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((triple1 ((((triple4) -> (rule2 % int3)) triple2) -> (rule8 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((triple2 triple4) -> (rule7 % int4)) ((((triple4) -> (rule2 % int3)) triple2) -> (rule8 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple9) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple10 triple11) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((((((triple11) -> (rule2 % int5)) triple11) -> (rule1 % int4)) ((((((triple11) -> (rule2 % int5)) triple11) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple11) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is kind.
("Harry" "is" "kind" "+")
((triple11) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
((triple1 ((triple3 triple2) -> (rule8 % int2))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((triple2 triple4) -> (rule7 % int3)) ((triple3 triple2) -> (rule8 % int2))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((triple1 ((((triple3 triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((triple1 ((((triple4) -> (rule2 % int3)) triple2) -> (rule8 % int2))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((triple2 triple4) -> (rule7 % int4)) ((((triple3 triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((triple2 triple4) -> (rule7 % int4)) ((((triple4) -> (rule2 % int3)) triple2) -> (rule8 % int2))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((triple1 ((((((triple4) -> (rule2 % int4)) triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((triple2 triple4) -> (rule7 % int5)) ((((((triple4) -> (rule2 % int4)) triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((((triple3 triple4) -> (rule1 % int5)) ((((triple3 triple4) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule7 % int2)) ((triple3 triple2) -> (rule8 % int4))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((((triple3 triple4) -> (rule1 % int5)) ((((triple3 triple4) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule7 % int2)) ((((triple3 triple4) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((((triple3 triple4) -> (rule1 % int6)) ((((triple3 triple4) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule5 % int4)) triple4) -> (rule7 % int3)) ((((triple4) -> (rule2 % int2)) triple2) -> (rule8 % int5))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((((triple4) -> (rule2 % int6)) triple4) -> (rule1 % int5)) ((((triple3 triple4) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule7 % int2)) ((triple3 triple2) -> (rule8 % int4))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
((((((((triple3 triple4) -> (rule1 % int6)) ((((triple3 triple4) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule5 % int4)) triple4) -> (rule7 % int3)) ((((((triple4) -> (rule2 % int2)) triple4) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((((triple4) -> (rule2 % int6)) triple4) -> (rule1 % int5)) ((((triple3 triple4) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule7 % int2)) ((((triple3 triple4) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
((((((((((triple4) -> (rule2 % int6)) triple4) -> (rule1 % int5)) ((((triple3 triple4) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule7 % int2)) ((((triple4) -> (rule2 % int6)) triple2) -> (rule8 % int4))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
((((((((((triple4) -> (rule2 % int6)) triple4) -> (rule1 % int5)) ((((triple3 triple4) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule7 % int2)) ((((((triple4) -> (rule2 % int6)) triple4) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
((((((((triple3 triple4) -> (rule1 % int6)) ((((((triple4) -> (rule2 % int5)) triple4) -> (rule1 % int6))) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule7 % int2)) ((triple3 triple2) -> (rule8 % int4))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((triple3 triple4) -> (rule1 % int6)) ((((((triple4) -> (rule2 % int5)) triple4) -> (rule1 % int6))) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule7 % int2)) ((((triple3 triple4) -> (rule1 % int6))) -> (rule3 % int4))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((triple3 triple4) -> (rule1 % int6)) ((((((triple4) -> (rule2 % int5)) triple4) -> (rule1 % int6))) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule7 % int2)) ((((triple4) -> (rule2 % int5)) triple2) -> (rule8 % int4))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((((triple4) -> (rule2 % int6)) triple4) -> (rule1 % int5)) ((((((triple4) -> (rule2 % int6)) triple4) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule7 % int2)) ((triple3 triple2) -> (rule8 % int4))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
((((((((triple3 triple4) -> (rule1 % int6)) ((((((triple4) -> (rule2 % int5)) triple4) -> (rule1 % int6))) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule7 % int2)) ((((((triple4) -> (rule2 % int5)) triple4) -> (rule1 % int6))) -> (rule3 % int4))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((((triple4) -> (rule2 % int6)) triple4) -> (rule1 % int5)) ((((((triple4) -> (rule2 % int6)) triple4) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule7 % int2)) ((((triple3 triple4) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
((((((((((triple4) -> (rule2 % int6)) triple4) -> (rule1 % int5)) ((((((triple4) -> (rule2 % int6)) triple4) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule7 % int2)) ((((triple4) -> (rule2 % int6)) triple2) -> (rule8 % int4))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
((((((((((triple4) -> (rule2 % int6)) triple4) -> (rule1 % int5)) ((((((triple4) -> (rule2 % int6)) triple4) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule7 % int2)) ((((((triple4) -> (rule2 % int6)) triple4) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
Fiona is young.
("Fiona" "is" "young" "+")
((((triple9) -> (rule2 % int2)) triple9) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((((triple11) -> (rule2 % int2)) triple11) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
((((((triple9) -> (rule2 % int3)) triple9) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
((((((triple11) -> (rule2 % int3)) triple11) -> (rule1 % int2))) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
((((((triple9) -> (rule2 % int4)) triple9) -> (rule1 % int3)) ((((((triple9) -> (rule2 % int4)) triple9) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
((((triple10 triple11) -> (rule7 % int5)) ((((((triple11) -> (rule2 % int4)) triple11) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((((((triple11) -> (rule2 % int6)) triple11) -> (rule1 % int5)) ((((((triple11) -> (rule2 % int6)) triple11) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) triple11) -> (rule7 % int2)) ((((((triple11) -> (rule2 % int6)) triple11) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
Harry is kind.
("Harry" "is" "kind" "+")
int6
Fiona is big.
("Fiona" "is" "big" "+")
((((((((triple9) -> (rule2 % int5)) triple9) -> (rule1 % int4)) ((((((triple9) -> (rule2 % int5)) triple9) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple9) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5