Bob is blue. Bob is rough. Bob is smart. Charlie is nice. Charlie is smart. Erin is blue. Erin is kind. Erin is nice. Erin is rough. Erin is round. Erin is smart. Erin is white. Harry is kind. Harry is rough. Harry is smart. Harry is white. Nice people are smart. All nice people are kind. All blue people are round. If Charlie is white then Charlie is rough. Kind, smart people are blue. If Charlie is smart then Charlie is nice. Smart, blue people are nice. If someone is round and nice then they are white.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
Nice people are smart.
((("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
All nice people are kind.
((("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
All blue people are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If Charlie is white then Charlie is rough.
((("Charlie" "is" "white" "+")) -> ("Charlie" "is" "rough" "+"))
Kind, smart people are blue.
((("someone" "is" "kind" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "+"))
If Charlie is smart then Charlie is nice.
((("Charlie" "is" "smart" "+")) -> ("Charlie" "is" "nice" "+"))
Smart, blue people are nice.
((("someone" "is" "smart" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and nice then they are white.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
Erin is white.
True
1
proof
[(triple12 OR ((triple10 triple8) -> rule8) OR ((triple10 ((triple11 triple6) -> rule7)) -> rule8) OR ((((triple6) -> rule3) triple8) -> rule8) OR ((((triple6) -> rule3) ((triple11 triple6) -> rule7)) -> rule8) OR ((triple10 ((triple11 ((triple7 triple11) -> rule5)) -> rule7)) -> rule8) OR ((((((triple7 triple11) -> rule5)) -> rule3) triple8) -> rule8) OR ((((triple6) -> rule3) ((triple11 ((triple7 triple11) -> rule5)) -> rule7)) -> rule8) OR ((((((triple7 triple11) -> rule5)) -> rule3) ((triple11 triple6) -> rule7)) -> rule8) OR ((((((triple7 triple11) -> rule5)) -> rule3) ((triple11 ((triple7 triple11) -> rule5)) -> rule7)) -> rule8) OR ((((((triple7 ((triple8) -> rule1)) -> rule5)) -> rule3) triple8) -> rule8) OR ((((((((triple8) -> rule2) triple11) -> rule5)) -> rule3) triple8) -> rule8) OR ((((((triple7 ((triple8) -> rule1)) -> rule5)) -> rule3) ((triple11 triple6) -> rule7)) -> rule8) OR ((((((((triple8) -> rule2) triple11) -> rule5)) -> rule3) ((triple11 triple6) -> rule7)) -> rule8) OR ((((((((triple8) -> rule2) ((triple8) -> rule1)) -> rule5)) -> rule3) triple8) -> rule8) OR ((((((triple7 ((triple8) -> rule1)) -> rule5)) -> rule3) ((triple11 ((triple7 triple11) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple8) -> rule2) triple11) -> rule5)) -> rule3) ((triple11 ((triple7 triple11) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple8) -> rule2) ((triple8) -> rule1)) -> rule5)) -> rule3) ((triple11 triple6) -> rule7)) -> rule8) OR ((((((((triple8) -> rule2) ((triple8) -> rule1)) -> rule5)) -> rule3) ((triple11 ((triple7 triple11) -> rule5)) -> rule7)) -> rule8))]
("Erin" "is" "white" "+")
triple12
((triple10 triple8) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple10 ((triple11 triple6) -> (rule7 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((triple6) -> (rule3 % int2)) triple8) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((triple6) -> (rule3 % int3)) ((triple11 triple6) -> (rule7 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((triple10 ((triple11 ((triple7 triple11) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((((triple7 triple11) -> (rule5 % int3))) -> (rule3 % int2)) triple8) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple6) -> (rule3 % int4)) ((triple11 ((triple7 triple11) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((triple7 triple11) -> (rule5 % int4))) -> (rule3 % int3)) ((triple11 triple6) -> (rule7 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((triple7 triple11) -> (rule5 % int4))) -> (rule3 % int3)) ((triple11 ((triple7 triple11) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((triple7 ((triple8) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple8) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((((((triple8) -> (rule2 % int4)) triple11) -> (rule5 % int3))) -> (rule3 % int2)) triple8) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((triple7 ((triple8) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((triple11 triple6) -> (rule7 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((((((triple8) -> (rule2 % int5)) triple11) -> (rule5 % int4))) -> (rule3 % int3)) ((triple11 triple6) -> (rule7 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
((((((((triple8) -> (rule2 % int5)) ((triple8) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple8) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
((((((triple7 ((triple8) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((triple11 ((triple7 triple11) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((((((triple8) -> (rule2 % int5)) triple11) -> (rule5 % int4))) -> (rule3 % int3)) ((triple11 ((triple7 triple11) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
((((((((triple8) -> (rule2 % int6)) ((triple8) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((triple11 triple6) -> (rule7 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
Erin is kind.
("Erin" "is" "kind" "+")
int6
((((((((triple8) -> (rule2 % int6)) ((triple8) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((triple11 ((triple7 triple11) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
Erin is kind.
("Erin" "is" "kind" "+")
int6
Erin is not rough.
False
1
inv-proof
[(triple9)]
("Erin" "is" "rough" "-")
triple9
Bob is round.
True
2
proof
[(((triple1) -> rule3))]
("Bob" "is" "round" "+")
((triple1) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is not round.
False
2
inv-proof
[(((triple1) -> rule3))]
("Bob" "is" "round" "-")
((triple1) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
True
4
proof
[(((((triple3 triple1) -> rule7)) -> rule2))]
("Bob" "is" "kind" "+")
((((triple3 triple1) -> (rule7 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is not kind.
False
4
inv-proof
[(((((triple3 triple1) -> rule7)) -> rule2))]
("Bob" "is" "kind" "-")
((((triple3 triple1) -> (rule7 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Charlie is round.
True
5
proof
[(((((((triple4) -> rule2) triple5) -> rule5)) -> rule3) OR ((((((triple4) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule3) OR ((((((((triple5) -> rule6)) -> rule2) triple5) -> rule5)) -> rule3) OR ((((((((triple5) -> rule6)) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule3))]
("Charlie" "is" "round" "+")
((((((triple4) -> (rule2 % int3)) triple5) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple4) -> (rule2 % int4)) ((triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((((triple5) -> (rule6 % int4))) -> (rule2 % int3)) triple5) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((((triple5) -> (rule6 % int5))) -> (rule2 % int4)) ((triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
Charlie is not round.
False
5
inv-proof
[(((((((triple4) -> rule2) triple5) -> rule5)) -> rule3) OR ((((((triple4) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule3) OR ((((((((triple5) -> rule6)) -> rule2) triple5) -> rule5)) -> rule3) OR ((((((((triple5) -> rule6)) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule3))]
("Charlie" "is" "round" "-")
((((((triple4) -> (rule2 % int3)) triple5) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple4) -> (rule2 % int4)) ((triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((((triple5) -> (rule6 % int4))) -> (rule2 % int3)) triple5) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((((triple5) -> (rule6 % int5))) -> (rule2 % int4)) ((triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
Charlie is white.
True
7
proof
[(((((((((triple4) -> rule2) triple5) -> rule5)) -> rule3) triple4) -> rule8) OR ((((((((triple4) -> rule2) triple5) -> rule5)) -> rule3) ((triple5) -> rule6)) -> rule8) OR ((((((((triple4) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule3) triple4) -> rule8) OR ((((((((triple4) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule3) ((triple5) -> rule6)) -> rule8) OR ((((((((((triple5) -> rule6)) -> rule2) triple5) -> rule5)) -> rule3) triple4) -> rule8) OR ((((((((((triple5) -> rule6)) -> rule2) triple5) -> rule5)) -> rule3) ((triple5) -> rule6)) -> rule8) OR ((((((((((triple5) -> rule6)) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule3) triple4) -> rule8) OR ((((((((((triple5) -> rule6)) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule3) ((triple5) -> rule6)) -> rule8))]
("Charlie" "is" "white" "+")
((((((((triple4) -> (rule2 % int4)) triple5) -> (rule5 % int3))) -> (rule3 % int2)) triple4) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((((triple4) -> (rule2 % int5)) triple5) -> (rule5 % int4))) -> (rule3 % int3)) ((triple5) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple4) -> (rule2 % int5)) ((triple4) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple4) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple4) -> (rule2 % int6)) ((triple4) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((triple5) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
((((((((((triple5) -> (rule6 % int5))) -> (rule2 % int4)) triple5) -> (rule5 % int3))) -> (rule3 % int2)) triple4) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((((((((((triple5) -> (rule6 % int5))) -> (rule2 % int4)) triple5) -> (rule5 % int3))) -> (rule3 % int2)) ((triple5) -> (rule6 % int5))) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((((((((((triple5) -> (rule6 % int6))) -> (rule2 % int5)) ((triple4) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple4) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is nice.
("Charlie" "is" "nice" "+")
int6
((((((((((triple5) -> (rule6 % int6))) -> (rule2 % int5)) ((triple4) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) ((triple5) -> (rule6 % int6))) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is nice.
("Charlie" "is" "nice" "+")
int6
Charlie is not white.
False
7
inv-proof
[(((((((((triple4) -> rule2) triple5) -> rule5)) -> rule3) triple4) -> rule8) OR ((((((((triple4) -> rule2) triple5) -> rule5)) -> rule3) ((triple5) -> rule6)) -> rule8) OR ((((((((triple4) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule3) triple4) -> rule8) OR ((((((((triple4) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule3) ((triple5) -> rule6)) -> rule8) OR ((((((((((triple5) -> rule6)) -> rule2) triple5) -> rule5)) -> rule3) triple4) -> rule8) OR ((((((((((triple5) -> rule6)) -> rule2) triple5) -> rule5)) -> rule3) ((triple5) -> rule6)) -> rule8) OR ((((((((((triple5) -> rule6)) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule3) triple4) -> rule8) OR ((((((((((triple5) -> rule6)) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule3) ((triple5) -> rule6)) -> rule8))]
("Charlie" "is" "white" "-")
((((((((triple4) -> (rule2 % int4)) triple5) -> (rule5 % int3))) -> (rule3 % int2)) triple4) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((((triple4) -> (rule2 % int5)) triple5) -> (rule5 % int4))) -> (rule3 % int3)) ((triple5) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple4) -> (rule2 % int5)) ((triple4) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple4) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple4) -> (rule2 % int6)) ((triple4) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((triple5) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
((((((((((triple5) -> (rule6 % int5))) -> (rule2 % int4)) triple5) -> (rule5 % int3))) -> (rule3 % int2)) triple4) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((((((((((triple5) -> (rule6 % int5))) -> (rule2 % int4)) triple5) -> (rule5 % int3))) -> (rule3 % int2)) ((triple5) -> (rule6 % int5))) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((((((((((triple5) -> (rule6 % int6))) -> (rule2 % int5)) ((triple4) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple4) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is nice.
("Charlie" "is" "nice" "+")
int6
((((((((((triple5) -> (rule6 % int6))) -> (rule2 % int5)) ((triple4) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) ((triple5) -> (rule6 % int6))) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is nice.
("Charlie" "is" "nice" "+")
int6
Charlie is rough.
True
8
proof
[(((((((((((triple4) -> rule2) triple5) -> rule5)) -> rule3) triple4) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2) triple5) -> rule5)) -> rule3) ((triple5) -> rule6)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule3) triple4) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule3) ((triple5) -> rule6)) -> rule8)) -> rule4) OR ((((((((((((triple5) -> rule6)) -> rule2) triple5) -> rule5)) -> rule3) triple4) -> rule8)) -> rule4) OR ((((((((((((triple5) -> rule6)) -> rule2) triple5) -> rule5)) -> rule3) ((triple5) -> rule6)) -> rule8)) -> rule4) OR ((((((((((((triple5) -> rule6)) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule3) triple4) -> rule8)) -> rule4) OR ((((((((((((triple5) -> rule6)) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule3) ((triple5) -> rule6)) -> rule8)) -> rule4))]
("Charlie" "is" "rough" "+")
((((((((((triple4) -> (rule2 % int5)) triple5) -> (rule5 % int4))) -> (rule3 % int3)) triple4) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((((triple4) -> (rule2 % int6)) triple5) -> (rule5 % int5))) -> (rule3 % int4)) ((triple5) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
((((((((((triple4) -> (rule2 % int6)) ((triple4) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) triple4) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
((((((((((triple4) -> (rule2 % int7)) ((triple4) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule3 % int4)) ((triple5) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
Charlie is smart.
("Charlie" "is" "smart" "+")
int6
Charlie is kind.
("Charlie" "is" "kind" "+")
int7
((((((((((((triple5) -> (rule6 % int6))) -> (rule2 % int5)) triple5) -> (rule5 % int4))) -> (rule3 % int3)) triple4) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is nice.
("Charlie" "is" "nice" "+")
int6
((((((((((((triple5) -> (rule6 % int6))) -> (rule2 % int5)) triple5) -> (rule5 % int4))) -> (rule3 % int3)) ((triple5) -> (rule6 % int6))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is nice.
("Charlie" "is" "nice" "+")
int6
((((((((((((triple5) -> (rule6 % int7))) -> (rule2 % int6)) ((triple4) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) triple4) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
Charlie is nice.
("Charlie" "is" "nice" "+")
int7
((((((((((((triple5) -> (rule6 % int7))) -> (rule2 % int6)) ((triple4) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((triple5) -> (rule6 % int7))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
Charlie is nice.
("Charlie" "is" "nice" "+")
int7
Charlie is not rough.
False
8
inv-proof
[(((((((((((triple4) -> rule2) triple5) -> rule5)) -> rule3) triple4) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2) triple5) -> rule5)) -> rule3) ((triple5) -> rule6)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule3) triple4) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule3) ((triple5) -> rule6)) -> rule8)) -> rule4) OR ((((((((((((triple5) -> rule6)) -> rule2) triple5) -> rule5)) -> rule3) triple4) -> rule8)) -> rule4) OR ((((((((((((triple5) -> rule6)) -> rule2) triple5) -> rule5)) -> rule3) ((triple5) -> rule6)) -> rule8)) -> rule4) OR ((((((((((((triple5) -> rule6)) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule3) triple4) -> rule8)) -> rule4) OR ((((((((((((triple5) -> rule6)) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule3) ((triple5) -> rule6)) -> rule8)) -> rule4))]
("Charlie" "is" "rough" "-")
((((((((((triple4) -> (rule2 % int5)) triple5) -> (rule5 % int4))) -> (rule3 % int3)) triple4) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((((triple4) -> (rule2 % int6)) triple5) -> (rule5 % int5))) -> (rule3 % int4)) ((triple5) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
((((((((((triple4) -> (rule2 % int6)) ((triple4) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) triple4) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
((((((((((triple4) -> (rule2 % int7)) ((triple4) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule3 % int4)) ((triple5) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
Charlie is smart.
("Charlie" "is" "smart" "+")
int6
Charlie is kind.
("Charlie" "is" "kind" "+")
int7
((((((((((((triple5) -> (rule6 % int6))) -> (rule2 % int5)) triple5) -> (rule5 % int4))) -> (rule3 % int3)) triple4) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is nice.
("Charlie" "is" "nice" "+")
int6
((((((((((((triple5) -> (rule6 % int6))) -> (rule2 % int5)) triple5) -> (rule5 % int4))) -> (rule3 % int3)) ((triple5) -> (rule6 % int6))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is nice.
("Charlie" "is" "nice" "+")
int6
((((((((((((triple5) -> (rule6 % int7))) -> (rule2 % int6)) ((triple4) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) triple4) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
Charlie is nice.
("Charlie" "is" "nice" "+")
int7
((((((((((((triple5) -> (rule6 % int7))) -> (rule2 % int6)) ((triple4) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((triple5) -> (rule6 % int7))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
Charlie is nice.
("Charlie" "is" "nice" "+")
int7
@0: Bob is blue.[(triple1)] Bob is rough.[(triple2)] Bob is smart.[(triple3)] Charlie is nice.[(triple4 OR ((triple5) -> rule6))] Charlie is smart.[(triple5 OR ((triple4) -> rule1))] Erin is blue.[(triple6 OR ((triple7 triple11) -> rule5) OR ((triple7 ((triple8) -> rule1)) -> rule5) OR ((((triple8) -> rule2) triple11) -> rule5) OR ((((triple8) -> rule2) ((triple8) -> rule1)) -> rule5))] Erin is kind.[(triple7 OR ((triple8) -> rule2) OR ((((triple11 triple6) -> rule7)) -> rule2))] Erin is nice.[(triple8 OR ((triple11 triple6) -> rule7) OR ((triple11 ((triple7 triple11) -> rule5)) -> rule7))] Erin is rough.[(triple9)] Erin is round.[(triple10 OR ((triple6) -> rule3) OR ((((triple7 triple11) -> rule5)) -> rule3) OR ((((triple7 ((triple8) -> rule1)) -> rule5)) -> rule3) OR ((((((triple8) -> rule2) triple11) -> rule5)) -> rule3) OR ((((((triple8) -> rule2) ((triple8) -> rule1)) -> rule5)) -> rule3))] Erin is smart.[(triple11 OR ((triple8) -> rule1))] Erin is white.[(triple12 OR ((triple10 triple8) -> rule8) OR ((triple10 ((triple11 triple6) -> rule7)) -> rule8) OR ((((triple6) -> rule3) triple8) -> rule8) OR ((((triple6) -> rule3) ((triple11 triple6) -> rule7)) -> rule8) OR ((triple10 ((triple11 ((triple7 triple11) -> rule5)) -> rule7)) -> rule8) OR ((((((triple7 triple11) -> rule5)) -> rule3) triple8) -> rule8) OR ((((triple6) -> rule3) ((triple11 ((triple7 triple11) -> rule5)) -> rule7)) -> rule8) OR ((((((triple7 triple11) -> rule5)) -> rule3) ((triple11 triple6) -> rule7)) -> rule8) OR ((((((triple7 triple11) -> rule5)) -> rule3) ((triple11 ((triple7 triple11) -> rule5)) -> rule7)) -> rule8) OR ((((((triple7 ((triple8) -> rule1)) -> rule5)) -> rule3) triple8) -> rule8) OR ((((((((triple8) -> rule2) triple11) -> rule5)) -> rule3) triple8) -> rule8) OR ((((((triple7 ((triple8) -> rule1)) -> rule5)) -> rule3) ((triple11 triple6) -> rule7)) -> rule8) OR ((((((((triple8) -> rule2) triple11) -> rule5)) -> rule3) ((triple11 triple6) -> rule7)) -> rule8) OR ((((((((triple8) -> rule2) ((triple8) -> rule1)) -> rule5)) -> rule3) triple8) -> rule8) OR ((((((triple7 ((triple8) -> rule1)) -> rule5)) -> rule3) ((triple11 ((triple7 triple11) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple8) -> rule2) triple11) -> rule5)) -> rule3) ((triple11 ((triple7 triple11) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple8) -> rule2) ((triple8) -> rule1)) -> rule5)) -> rule3) ((triple11 triple6) -> rule7)) -> rule8) OR ((((((((triple8) -> rule2) ((triple8) -> rule1)) -> rule5)) -> rule3) ((triple11 ((triple7 triple11) -> rule5)) -> rule7)) -> rule8))] Harry is kind.[(triple13)] Harry is rough.[(triple14)] Harry is smart.[(triple15)] Harry is white.[(triple16 OR ((((((triple13 triple15) -> rule5)) -> rule3) ((triple15 ((triple13 triple15) -> rule5)) -> rule7)) -> rule8))] @1: Bob is nice.[(((triple3 triple1) -> rule7))] Bob is round.[(((triple1) -> rule3))] Charlie is kind.[(((triple4) -> rule2) OR ((((triple5) -> rule6)) -> rule2))] Harry is blue.[(((triple13 triple15) -> rule5))] @2: Bob is kind.[(((((triple3 triple1) -> rule7)) -> rule2))] Bob is white.[(((((triple1) -> rule3) ((triple3 triple1) -> rule7)) -> rule8))] Charlie is blue.[(((((triple4) -> rule2) triple5) -> rule5) OR ((((triple4) -> rule2) ((triple4) -> rule1)) -> rule5) OR ((((((triple5) -> rule6)) -> rule2) triple5) -> rule5) OR ((((((triple5) -> rule6)) -> rule2) ((triple4) -> rule1)) -> rule5))] Harry is nice.[(((triple15 ((triple13 triple15) -> rule5)) -> rule7))] Harry is round.[(((((triple13 triple15) -> rule5)) -> rule3))] @3: Charlie is round.[(((((((triple4) -> rule2) triple5) -> rule5)) -> rule3) OR ((((((triple4) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule3) OR ((((((((triple5) -> rule6)) -> rule2) triple5) -> rule5)) -> rule3) OR ((((((((triple5) -> rule6)) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule3))] @4: Charlie is white.[(((((((((triple4) -> rule2) triple5) -> rule5)) -> rule3) triple4) -> rule8) OR ((((((((triple4) -> rule2) triple5) -> rule5)) -> rule3) ((triple5) -> rule6)) -> rule8) OR ((((((((triple4) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule3) triple4) -> rule8) OR ((((((((triple4) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule3) ((triple5) -> rule6)) -> rule8) OR ((((((((((triple5) -> rule6)) -> rule2) triple5) -> rule5)) -> rule3) triple4) -> rule8) OR ((((((((((triple5) -> rule6)) -> rule2) triple5) -> rule5)) -> rule3) ((triple5) -> rule6)) -> rule8) OR ((((((((((triple5) -> rule6)) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule3) triple4) -> rule8) OR ((((((((((triple5) -> rule6)) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule3) ((triple5) -> rule6)) -> rule8))] @5: Charlie is rough.[(((((((((((triple4) -> rule2) triple5) -> rule5)) -> rule3) triple4) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2) triple5) -> rule5)) -> rule3) ((triple5) -> rule6)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule3) triple4) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule3) ((triple5) -> rule6)) -> rule8)) -> rule4) OR ((((((((((((triple5) -> rule6)) -> rule2) triple5) -> rule5)) -> rule3) triple4) -> rule8)) -> rule4) OR ((((((((((((triple5) -> rule6)) -> rule2) triple5) -> rule5)) -> rule3) ((triple5) -> rule6)) -> rule8)) -> rule4) OR ((((((((((((triple5) -> rule6)) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule3) triple4) -> rule8)) -> rule4) OR ((((((((((((triple5) -> rule6)) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule3) ((triple5) -> rule6)) -> rule8)) -> rule4))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
((triple5) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
((triple4) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
triple6
((triple7 triple11) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((triple7 ((triple8) -> (rule1 % int2))) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple8) -> (rule2 % int2)) triple11) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((triple8) -> (rule2 % int3)) ((triple8) -> (rule1 % int2))) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
triple7
((triple8) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((((triple11 triple6) -> (rule7 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
triple8
((triple11 triple6) -> (rule7 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((triple11 ((triple7 triple11) -> (rule5 % int2))) -> (rule7 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
triple9
Erin is round.
("Erin" "is" "round" "+")
triple10
((triple6) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((triple7 triple11) -> (rule5 % int2))) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((triple7 ((triple8) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((((triple8) -> (rule2 % int3)) triple11) -> (rule5 % int2))) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((((triple8) -> (rule2 % int4)) ((triple8) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
triple11
((triple8) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
triple12
((triple10 triple8) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple10 ((triple11 triple6) -> (rule7 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((triple6) -> (rule3 % int2)) triple8) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((triple6) -> (rule3 % int3)) ((triple11 triple6) -> (rule7 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((triple10 ((triple11 ((triple7 triple11) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((((triple7 triple11) -> (rule5 % int3))) -> (rule3 % int2)) triple8) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple6) -> (rule3 % int4)) ((triple11 ((triple7 triple11) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((triple7 triple11) -> (rule5 % int4))) -> (rule3 % int3)) ((triple11 triple6) -> (rule7 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((triple7 triple11) -> (rule5 % int4))) -> (rule3 % int3)) ((triple11 ((triple7 triple11) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((triple7 ((triple8) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple8) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((((((triple8) -> (rule2 % int4)) triple11) -> (rule5 % int3))) -> (rule3 % int2)) triple8) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((triple7 ((triple8) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((triple11 triple6) -> (rule7 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((((((triple8) -> (rule2 % int5)) triple11) -> (rule5 % int4))) -> (rule3 % int3)) ((triple11 triple6) -> (rule7 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
((((((((triple8) -> (rule2 % int5)) ((triple8) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple8) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
((((((triple7 ((triple8) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((triple11 ((triple7 triple11) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((((((triple8) -> (rule2 % int5)) triple11) -> (rule5 % int4))) -> (rule3 % int3)) ((triple11 ((triple7 triple11) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
((((((((triple8) -> (rule2 % int6)) ((triple8) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((triple11 triple6) -> (rule7 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
Erin is kind.
("Erin" "is" "kind" "+")
int6
((((((((triple8) -> (rule2 % int6)) ((triple8) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((triple11 ((triple7 triple11) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
Erin is kind.
("Erin" "is" "kind" "+")
int6
Harry is kind.
("Harry" "is" "kind" "+")
triple13
Harry is rough.
("Harry" "is" "rough" "+")
triple14
Harry is smart.
("Harry" "is" "smart" "+")
triple15
Harry is white.
("Harry" "is" "white" "+")
triple16
((((((triple13 triple15) -> (rule5 % int4))) -> (rule3 % int3)) ((triple15 ((triple13 triple15) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule8 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
((triple3 triple1) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((triple1) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple4) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((((triple5) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((triple13 triple15) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((((triple3 triple1) -> (rule7 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
((((triple1) -> (rule3 % int3)) ((triple3 triple1) -> (rule7 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
((((triple4) -> (rule2 % int2)) triple5) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple4) -> (rule2 % int3)) ((triple4) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple5) -> (rule6 % int3))) -> (rule2 % int2)) triple5) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((((triple5) -> (rule6 % int4))) -> (rule2 % int3)) ((triple4) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
((triple15 ((triple13 triple15) -> (rule5 % int2))) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((((triple13 triple15) -> (rule5 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((((((triple4) -> (rule2 % int3)) triple5) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple4) -> (rule2 % int4)) ((triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((((triple5) -> (rule6 % int4))) -> (rule2 % int3)) triple5) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((((triple5) -> (rule6 % int5))) -> (rule2 % int4)) ((triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
((((((((triple4) -> (rule2 % int4)) triple5) -> (rule5 % int3))) -> (rule3 % int2)) triple4) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((((triple4) -> (rule2 % int5)) triple5) -> (rule5 % int4))) -> (rule3 % int3)) ((triple5) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple4) -> (rule2 % int5)) ((triple4) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple4) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple4) -> (rule2 % int6)) ((triple4) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((triple5) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
((((((((((triple5) -> (rule6 % int5))) -> (rule2 % int4)) triple5) -> (rule5 % int3))) -> (rule3 % int2)) triple4) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((((((((((triple5) -> (rule6 % int5))) -> (rule2 % int4)) triple5) -> (rule5 % int3))) -> (rule3 % int2)) ((triple5) -> (rule6 % int5))) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((((((((((triple5) -> (rule6 % int6))) -> (rule2 % int5)) ((triple4) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple4) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is nice.
("Charlie" "is" "nice" "+")
int6
((((((((((triple5) -> (rule6 % int6))) -> (rule2 % int5)) ((triple4) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) ((triple5) -> (rule6 % int6))) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is nice.
("Charlie" "is" "nice" "+")
int6
Charlie is rough.
("Charlie" "is" "rough" "+")
((((((((((triple4) -> (rule2 % int5)) triple5) -> (rule5 % int4))) -> (rule3 % int3)) triple4) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((((triple4) -> (rule2 % int6)) triple5) -> (rule5 % int5))) -> (rule3 % int4)) ((triple5) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
((((((((((triple4) -> (rule2 % int6)) ((triple4) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) triple4) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
((((((((((triple4) -> (rule2 % int7)) ((triple4) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule3 % int4)) ((triple5) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
Charlie is smart.
("Charlie" "is" "smart" "+")
int6
Charlie is kind.
("Charlie" "is" "kind" "+")
int7
((((((((((((triple5) -> (rule6 % int6))) -> (rule2 % int5)) triple5) -> (rule5 % int4))) -> (rule3 % int3)) triple4) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is nice.
("Charlie" "is" "nice" "+")
int6
((((((((((((triple5) -> (rule6 % int6))) -> (rule2 % int5)) triple5) -> (rule5 % int4))) -> (rule3 % int3)) ((triple5) -> (rule6 % int6))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is nice.
("Charlie" "is" "nice" "+")
int6
((((((((((((triple5) -> (rule6 % int7))) -> (rule2 % int6)) ((triple4) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) triple4) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
Charlie is nice.
("Charlie" "is" "nice" "+")
int7
((((((((((((triple5) -> (rule6 % int7))) -> (rule2 % int6)) ((triple4) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((triple5) -> (rule6 % int7))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
Charlie is nice.
("Charlie" "is" "nice" "+")
int7