Bob is big. Bob is kind. Charlie is kind. Charlie is white. Charlie is young. Dave is furry. Dave is red. Dave is white. Dave is young. Harry is cold. Harry is kind. Harry is red. If Harry is kind then Harry is red. All big, kind people are red. Furry people are cold. All furry, young people are big. If someone is white then they are furry. All big, red people are furry. Cold, young people are big. If someone is young then they are white. Cold people are young.
Bob is big.
("Bob" "is" "big" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is red.
("Harry" "is" "red" "+")
If Harry is kind then Harry is red.
((("Harry" "is" "kind" "+")) -> ("Harry" "is" "red" "+"))
All big, kind people are red.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
Furry people are cold.
((("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
All furry, young people are big.
((("someone" "is" "furry" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is white then they are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
All big, red people are furry.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
Cold, young people are big.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is young then they are white.
((("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
Cold people are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
Charlie is young.
True
1
proof
[(triple5 OR ((((((triple4) -> rule5)) -> rule3)) -> rule9))]
("Charlie" "is" "young" "+")
triple5
((((((triple4) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Dave is not red.
False
1
inv-proof
[(triple7)]
("Dave" "is" "red" "-")
triple7
Bob is red.
True
3
proof
[(((triple1 triple2) -> rule2))]
("Bob" "is" "red" "+")
((triple1 triple2) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Dave is not cold.
False
2
inv-proof
[(((triple6) -> rule3) OR ((((triple8) -> rule5)) -> rule3) OR ((((((triple9) -> rule8)) -> rule5)) -> rule3))]
("Dave" "is" "cold" "-")
((triple6) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((((triple8) -> (rule5 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((((triple9) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Charlie is big.
True
4
proof
[(((((triple4) -> rule5) triple5) -> rule4) OR ((((((triple4) -> rule5)) -> rule3) triple5) -> rule7) OR ((((((triple5) -> rule8)) -> rule5) triple5) -> rule4) OR ((((((((triple5) -> rule8)) -> rule5)) -> rule3) triple5) -> rule7) OR ((((triple4) -> rule5) ((((((triple4) -> rule5)) -> rule3)) -> rule9)) -> rule4) OR ((((((triple4) -> rule5)) -> rule3) ((((((triple4) -> rule5)) -> rule3)) -> rule9)) -> rule7) OR ((((((triple5) -> rule8)) -> rule5) ((((((triple4) -> rule5)) -> rule3)) -> rule9)) -> rule4) OR ((((((((triple5) -> rule8)) -> rule5)) -> rule3) ((((((triple4) -> rule5)) -> rule3)) -> rule9)) -> rule7))]
("Charlie" "is" "big" "+")
((((triple4) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((((triple4) -> (rule5 % int3))) -> (rule3 % int2)) triple5) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((((triple5) -> (rule8 % int3))) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((((triple5) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple5) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((triple4) -> (rule5 % int4)) ((((((triple4) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((triple4) -> (rule5 % int4))) -> (rule3 % int3)) ((((((triple4) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((triple5) -> (rule8 % int5))) -> (rule5 % int4)) ((((((triple4) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((((triple5) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((((((triple4) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Harry is not big.
False
4
inv-proof
[(((triple10 ((triple10) -> rule9)) -> rule7) OR ((((((((triple10) -> rule9)) -> rule8)) -> rule5) ((triple10) -> rule9)) -> rule4))]
("Harry" "is" "big" "-")
((triple10 ((triple10) -> (rule9 % int2))) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((((((triple10) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) ((triple10) -> (rule9 % int4))) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is furry.
True
4
proof
[(((((((triple10) -> rule9)) -> rule8)) -> rule5) OR ((((triple10 ((triple10) -> rule9)) -> rule7) triple12) -> rule6) OR ((((triple10 ((triple10) -> rule9)) -> rule7) ((triple11) -> rule1)) -> rule6) OR ((((triple10 ((triple10) -> rule9)) -> rule7) ((((triple10 ((triple10) -> rule9)) -> rule7) triple11) -> rule2)) -> rule6))]
("Harry" "is" "furry" "+")
((((((triple10) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((triple10 ((triple10) -> (rule9 % int3))) -> (rule7 % int2)) triple12) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((triple10 ((triple10) -> (rule9 % int4))) -> (rule7 % int3)) ((triple11) -> (rule1 % int2))) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((triple10 ((triple10) -> (rule9 % int4))) -> (rule7 % int3)) ((((triple10 ((triple10) -> (rule9 % int4))) -> (rule7 % int3)) triple11) -> (rule2 % int2))) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is not furry.
False
4
inv-proof
[(((((((triple10) -> rule9)) -> rule8)) -> rule5) OR ((((triple10 ((triple10) -> rule9)) -> rule7) triple12) -> rule6) OR ((((triple10 ((triple10) -> rule9)) -> rule7) ((triple11) -> rule1)) -> rule6) OR ((((triple10 ((triple10) -> rule9)) -> rule7) ((((triple10 ((triple10) -> rule9)) -> rule7) triple11) -> rule2)) -> rule6))]
("Harry" "is" "furry" "-")
((((((triple10) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((triple10 ((triple10) -> (rule9 % int3))) -> (rule7 % int2)) triple12) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((triple10 ((triple10) -> (rule9 % int4))) -> (rule7 % int3)) ((triple11) -> (rule1 % int2))) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((triple10 ((triple10) -> (rule9 % int4))) -> (rule7 % int3)) ((((triple10 ((triple10) -> (rule9 % int4))) -> (rule7 % int3)) triple11) -> (rule2 % int2))) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Bob is young.
True
7
proof
[(((((((triple1 ((triple1 triple2) -> rule2)) -> rule6)) -> rule3)) -> rule9))]
("Bob" "is" "young" "+")
((((((triple1 ((triple1 triple2) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is not young.
False
7
inv-proof
[(((((((triple1 ((triple1 triple2) -> rule2)) -> rule6)) -> rule3)) -> rule9))]
("Bob" "is" "young" "-")
((((((triple1 ((triple1 triple2) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is white.
True
8
proof
[(((((((((triple1 ((triple1 triple2) -> rule2)) -> rule6)) -> rule3)) -> rule9)) -> rule8))]
("Bob" "is" "white" "+")
((((((((triple1 ((triple1 triple2) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is not white.
False
8
inv-proof
[(((((((((triple1 ((triple1 triple2) -> rule2)) -> rule6)) -> rule3)) -> rule9)) -> rule8))]
("Bob" "is" "white" "-")
((((((((triple1 ((triple1 triple2) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Charlie is kind.[(triple3)] Charlie is white.[(triple4 OR ((triple5) -> rule8))] Charlie is young.[(triple5 OR ((((((triple4) -> rule5)) -> rule3)) -> rule9))] Dave is furry.[(triple6 OR ((triple8) -> rule5) OR ((((triple9) -> rule8)) -> rule5))] Dave is red.[(triple7)] Dave is white.[(triple8 OR ((triple9) -> rule8) OR ((((((triple6) -> rule3)) -> rule9)) -> rule8))] Dave is young.[(triple9 OR ((((triple6) -> rule3)) -> rule9) OR ((((((triple8) -> rule5)) -> rule3)) -> rule9))] Harry is cold.[(triple10)] Harry is kind.[(triple11)] Harry is red.[(triple12 OR ((triple11) -> rule1) OR ((((triple10 ((triple10) -> rule9)) -> rule7) triple11) -> rule2) OR ((((((((((triple10) -> rule9)) -> rule8)) -> rule5) ((triple10) -> rule9)) -> rule4) triple11) -> rule2))] @1: Bob is red.[(((triple1 triple2) -> rule2))] Charlie is furry.[(((triple4) -> rule5) OR ((((triple5) -> rule8)) -> rule5))] Dave is big.[(((triple6 triple9) -> rule4) OR ((((triple6) -> rule3) triple9) -> rule7) OR ((((triple8) -> rule5) triple9) -> rule4) OR ((triple6 ((((triple6) -> rule3)) -> rule9)) -> rule4) OR ((((((triple8) -> rule5)) -> rule3) triple9) -> rule7) OR ((((((triple9) -> rule8)) -> rule5) triple9) -> rule4) OR ((((triple6) -> rule3) ((((triple6) -> rule3)) -> rule9)) -> rule7) OR ((((triple8) -> rule5) ((((triple6) -> rule3)) -> rule9)) -> rule4) OR ((((((triple8) -> rule5)) -> rule3) ((((triple6) -> rule3)) -> rule9)) -> rule7) OR ((((((triple9) -> rule8)) -> rule5) ((((triple6) -> rule3)) -> rule9)) -> rule4) OR ((triple6 ((((((triple8) -> rule5)) -> rule3)) -> rule9)) -> rule4) OR ((((((((triple9) -> rule8)) -> rule5)) -> rule3) triple9) -> rule7) OR ((((triple6) -> rule3) ((((((triple8) -> rule5)) -> rule3)) -> rule9)) -> rule7) OR ((((triple8) -> rule5) ((((((triple8) -> rule5)) -> rule3)) -> rule9)) -> rule4) OR ((((((triple8) -> rule5)) -> rule3) ((((((triple8) -> rule5)) -> rule3)) -> rule9)) -> rule7) OR ((((((triple9) -> rule8)) -> rule5) ((((((triple8) -> rule5)) -> rule3)) -> rule9)) -> rule4) OR ((((((((triple9) -> rule8)) -> rule5)) -> rule3) ((((triple6) -> rule3)) -> rule9)) -> rule7) OR ((((((((triple9) -> rule8)) -> rule5)) -> rule3) ((((((triple8) -> rule5)) -> rule3)) -> rule9)) -> rule7))] Dave is cold.[(((triple6) -> rule3) OR ((((triple8) -> rule5)) -> rule3) OR ((((((triple9) -> rule8)) -> rule5)) -> rule3))] Harry is young.[(((triple10) -> rule9))] @2: Bob is furry.[(((triple1 ((triple1 triple2) -> rule2)) -> rule6))] Charlie is big.[(((((triple4) -> rule5) triple5) -> rule4) OR ((((((triple4) -> rule5)) -> rule3) triple5) -> rule7) OR ((((((triple5) -> rule8)) -> rule5) triple5) -> rule4) OR ((((((((triple5) -> rule8)) -> rule5)) -> rule3) triple5) -> rule7) OR ((((triple4) -> rule5) ((((((triple4) -> rule5)) -> rule3)) -> rule9)) -> rule4) OR ((((((triple4) -> rule5)) -> rule3) ((((((triple4) -> rule5)) -> rule3)) -> rule9)) -> rule7) OR ((((((triple5) -> rule8)) -> rule5) ((((((triple4) -> rule5)) -> rule3)) -> rule9)) -> rule4) OR ((((((((triple5) -> rule8)) -> rule5)) -> rule3) ((((((triple4) -> rule5)) -> rule3)) -> rule9)) -> rule7))] Charlie is cold.[(((((triple4) -> rule5)) -> rule3) OR ((((((triple5) -> rule8)) -> rule5)) -> rule3))] Harry is big.[(((triple10 ((triple10) -> rule9)) -> rule7) OR ((((((((triple10) -> rule9)) -> rule8)) -> rule5) ((triple10) -> rule9)) -> rule4))] Harry is white.[(((((triple10) -> rule9)) -> rule8))] @3: Bob is cold.[(((((triple1 ((triple1 triple2) -> rule2)) -> rule6)) -> rule3))] Charlie is red.[(((((((triple4) -> rule5) triple5) -> rule4) triple3) -> rule2) OR ((((((((triple4) -> rule5)) -> rule3) triple5) -> rule7) triple3) -> rule2) OR ((((((((triple5) -> rule8)) -> rule5) triple5) -> rule4) triple3) -> rule2) OR ((((((((((triple5) -> rule8)) -> rule5)) -> rule3) triple5) -> rule7) triple3) -> rule2) OR ((((((triple4) -> rule5) ((((((triple4) -> rule5)) -> rule3)) -> rule9)) -> rule4) triple3) -> rule2) OR ((((((((triple4) -> rule5)) -> rule3) ((((((triple4) -> rule5)) -> rule3)) -> rule9)) -> rule7) triple3) -> rule2) OR ((((((((triple5) -> rule8)) -> rule5) ((((((triple4) -> rule5)) -> rule3)) -> rule9)) -> rule4) triple3) -> rule2) OR ((((((((((triple5) -> rule8)) -> rule5)) -> rule3) ((((((triple4) -> rule5)) -> rule3)) -> rule9)) -> rule7) triple3) -> rule2))] Harry is furry.[(((((((triple10) -> rule9)) -> rule8)) -> rule5) OR ((((triple10 ((triple10) -> rule9)) -> rule7) triple12) -> rule6) OR ((((triple10 ((triple10) -> rule9)) -> rule7) ((triple11) -> rule1)) -> rule6) OR ((((triple10 ((triple10) -> rule9)) -> rule7) ((((triple10 ((triple10) -> rule9)) -> rule7) triple11) -> rule2)) -> rule6))] @4: Bob is young.[(((((((triple1 ((triple1 triple2) -> rule2)) -> rule6)) -> rule3)) -> rule9))] @5: Bob is white.[(((((((((triple1 ((triple1 triple2) -> rule2)) -> rule6)) -> rule3)) -> rule9)) -> rule8))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is white.
("Charlie" "is" "white" "+")
triple4
((triple5) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
triple5
((((((triple4) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
triple6
((triple8) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((((triple9) -> (rule8 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
triple7
Dave is white.
("Dave" "is" "white" "+")
triple8
((triple9) -> (rule8 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((((((triple6) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule8 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
triple9
((((triple6) -> (rule3 % int2))) -> (rule9 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
((((((triple8) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple12
((triple11) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((((triple10 ((triple10) -> (rule9 % int3))) -> (rule7 % int2)) triple11) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((((((((triple10) -> (rule9 % int5))) -> (rule8 % int4))) -> (rule5 % int3)) ((triple10) -> (rule9 % int5))) -> (rule4 % int2)) triple11) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
((triple1 triple2) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple4) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((((triple5) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
((triple6 triple9) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((((triple6) -> (rule3 % int2)) triple9) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
((((triple8) -> (rule5 % int2)) triple9) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((triple6 ((((triple6) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((((triple8) -> (rule5 % int3))) -> (rule3 % int2)) triple9) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((((triple9) -> (rule8 % int3))) -> (rule5 % int2)) triple9) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple6) -> (rule3 % int3)) ((((triple6) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((triple8) -> (rule5 % int4)) ((((triple6) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((((triple8) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple6) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((((triple9) -> (rule8 % int5))) -> (rule5 % int4)) ((((triple6) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((triple6 ((((((triple8) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((((((triple9) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple9) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple6) -> (rule3 % int4)) ((((((triple8) -> (rule5 % int3))) -> (rule3 % int4))) -> (rule9 % int2))) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((triple8) -> (rule5 % int4)) ((((((triple8) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((((triple8) -> (rule5 % int4))) -> (rule3 % int3)) ((((((triple8) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((((triple9) -> (rule8 % int5))) -> (rule5 % int4)) ((((((triple8) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((((((triple9) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple6) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((((((triple9) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((((((triple8) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
((triple6) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((((triple8) -> (rule5 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((((triple9) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
((triple10) -> (rule9 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
((triple1 ((triple1 triple2) -> (rule2 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((((triple4) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((((triple4) -> (rule5 % int3))) -> (rule3 % int2)) triple5) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((((triple5) -> (rule8 % int3))) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((((triple5) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple5) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((triple4) -> (rule5 % int4)) ((((((triple4) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((triple4) -> (rule5 % int4))) -> (rule3 % int3)) ((((((triple4) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((triple5) -> (rule8 % int5))) -> (rule5 % int4)) ((((((triple4) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((((triple5) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((((((triple4) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
((((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((((triple5) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
((triple10 ((triple10) -> (rule9 % int2))) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((((((triple10) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) ((triple10) -> (rule9 % int4))) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
((((triple10) -> (rule9 % int2))) -> (rule8 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
((((triple1 ((triple1 triple2) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
((((((triple4) -> (rule5 % int3)) triple5) -> (rule4 % int2)) triple3) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((((((triple4) -> (rule5 % int4))) -> (rule3 % int3)) triple5) -> (rule7 % int2)) triple3) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple5) -> (rule8 % int4))) -> (rule5 % int3)) triple5) -> (rule4 % int2)) triple3) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((((((triple5) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) triple5) -> (rule7 % int2)) triple3) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((triple4) -> (rule5 % int5)) ((((((triple4) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) triple3) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((triple4) -> (rule5 % int5))) -> (rule3 % int4)) ((((((triple4) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule7 % int2)) triple3) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((triple5) -> (rule8 % int6))) -> (rule5 % int5)) ((((((triple4) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) triple3) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((((((((((triple5) -> (rule8 % int6))) -> (rule5 % int5))) -> (rule3 % int4)) ((((((triple4) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule7 % int2)) triple3) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
Harry is furry.
("Harry" "is" "furry" "+")
((((((triple10) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((triple10 ((triple10) -> (rule9 % int3))) -> (rule7 % int2)) triple12) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((triple10 ((triple10) -> (rule9 % int4))) -> (rule7 % int3)) ((triple11) -> (rule1 % int2))) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((triple10 ((triple10) -> (rule9 % int4))) -> (rule7 % int3)) ((((triple10 ((triple10) -> (rule9 % int4))) -> (rule7 % int3)) triple11) -> (rule2 % int2))) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
((((((triple1 ((triple1 triple2) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
((((((((triple1 ((triple1 triple2) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5