Alan is young and a bit big and round. He acts cold towards skinny people because he is green with envy. Eric is a nice round guy, which leads to him being red. As much as Fred is nice, he is also cold and often feels blue. A green person who is cold and round is also big. Red, kind, young people will be rough people, too. A big young person that is green will be cold to others. Interestingly, cold and rough people are kind. A cold human with round and rough aspects is always kind. Round and somewhat big people manage to be kind to everyone. Anyone who is big and cold and also kind is definitely red on top if it.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is cold and round and green then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is young and kind and red then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and young and big then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and round and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and big then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and cold and kind then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
Alan is green.
True
1
proof
[(triple3)]
("Alan" "is" "green" "+")
triple3
Fred is not nice.
False
1
inv-proof
[(triple9)]
("Fred" "is" "nice" "-")
triple9
Alan is kind.
True
3
proof
[(((triple2 triple5) -> rule6) OR ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6))]
("Alan" "is" "kind" "+")
((triple2 triple5) -> (rule6 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
((triple2 ((triple4 triple2 triple3) -> (rule1 % int2))) -> (rule6 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is not kind.
False
3
inv-proof
[(((triple2 triple5) -> rule6) OR ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6))]
("Alan" "is" "kind" "-")
((triple2 triple5) -> (rule6 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
((triple2 ((triple4 triple2 triple3) -> (rule1 % int2))) -> (rule6 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is red.
True
6
proof
[(((triple5 triple4 ((triple2 triple5) -> rule6)) -> rule7) OR ((triple5 ((triple3 triple1 triple5) -> rule3) ((triple2 triple5) -> rule6)) -> rule7) OR ((((triple4 triple2 triple3) -> rule1) triple4 ((triple2 triple5) -> rule6)) -> rule7) OR ((((triple4 triple2 triple3) -> rule1) ((triple3 triple1 triple5) -> rule3) ((triple2 triple5) -> rule6)) -> rule7) OR ((triple5 triple4 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7) OR ((triple5 ((triple3 triple1 triple5) -> rule3) ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7) OR ((((triple4 triple2 triple3) -> rule1) triple4 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7) OR ((((triple4 triple2 triple3) -> rule1) ((triple3 triple1 triple5) -> rule3) ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7))]
("Alan" "is" "red" "+")
((triple5 triple4 ((triple2 triple5) -> (rule6 % int2))) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
((triple5 ((triple3 triple1 triple5) -> (rule3 % int3)) ((triple2 triple5) -> (rule6 % int2))) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
((((triple4 triple2 triple3) -> (rule1 % int3)) triple4 ((triple2 triple5) -> (rule6 % int2))) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
((((triple4 triple2 triple3) -> (rule1 % int4)) ((triple3 triple1 triple5) -> (rule3 % int3)) ((triple2 triple5) -> (rule6 % int2))) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
((triple5 triple4 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
((triple5 ((triple3 triple1 triple5) -> (rule3 % int4)) ((triple2 ((triple4 triple2 triple3) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
((((triple4 triple2 triple3) -> (rule1 % int3)) triple4 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
((((triple4 triple2 triple3) -> (rule1 % int4)) ((triple3 triple1 triple5) -> (rule3 % int3)) ((triple2 ((triple4 triple2 triple3) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
Alan is not red.
False
6
inv-proof
[(((triple5 triple4 ((triple2 triple5) -> rule6)) -> rule7) OR ((triple5 ((triple3 triple1 triple5) -> rule3) ((triple2 triple5) -> rule6)) -> rule7) OR ((((triple4 triple2 triple3) -> rule1) triple4 ((triple2 triple5) -> rule6)) -> rule7) OR ((((triple4 triple2 triple3) -> rule1) ((triple3 triple1 triple5) -> rule3) ((triple2 triple5) -> rule6)) -> rule7) OR ((triple5 triple4 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7) OR ((triple5 ((triple3 triple1 triple5) -> rule3) ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7) OR ((((triple4 triple2 triple3) -> rule1) triple4 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7) OR ((((triple4 triple2 triple3) -> rule1) ((triple3 triple1 triple5) -> rule3) ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7))]
("Alan" "is" "red" "-")
((triple5 triple4 ((triple2 triple5) -> (rule6 % int2))) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
((triple5 ((triple3 triple1 triple5) -> (rule3 % int3)) ((triple2 triple5) -> (rule6 % int2))) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
((((triple4 triple2 triple3) -> (rule1 % int3)) triple4 ((triple2 triple5) -> (rule6 % int2))) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
((((triple4 triple2 triple3) -> (rule1 % int4)) ((triple3 triple1 triple5) -> (rule3 % int3)) ((triple2 triple5) -> (rule6 % int2))) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
((triple5 triple4 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
((triple5 ((triple3 triple1 triple5) -> (rule3 % int4)) ((triple2 ((triple4 triple2 triple3) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
((((triple4 triple2 triple3) -> (rule1 % int3)) triple4 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
((((triple4 triple2 triple3) -> (rule1 % int4)) ((triple3 triple1 triple5) -> (rule3 % int3)) ((triple2 ((triple4 triple2 triple3) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
Alan is rough.
True
11
proof
[(((triple1 ((triple2 triple5) -> rule6) ((triple5 triple4 ((triple2 triple5) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 triple5) -> rule6) ((triple5 ((triple3 triple1 triple5) -> rule3) ((triple2 triple5) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 triple5) -> rule6) ((((triple4 triple2 triple3) -> rule1) triple4 ((triple2 triple5) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6) ((triple5 triple4 ((triple2 triple5) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 triple5) -> rule6) ((((triple4 triple2 triple3) -> rule1) ((triple3 triple1 triple5) -> rule3) ((triple2 triple5) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6) ((triple5 ((triple3 triple1 triple5) -> rule3) ((triple2 triple5) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6) ((((triple4 triple2 triple3) -> rule1) triple4 ((triple2 triple5) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6) ((((triple4 triple2 triple3) -> rule1) ((triple3 triple1 triple5) -> rule3) ((triple2 triple5) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 triple5) -> rule6) ((triple5 triple4 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 triple5) -> rule6) ((triple5 ((triple3 triple1 triple5) -> rule3) ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 triple5) -> rule6) ((((triple4 triple2 triple3) -> rule1) triple4 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6) ((triple5 triple4 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 triple5) -> rule6) ((((triple4 triple2 triple3) -> rule1) ((triple3 triple1 triple5) -> rule3) ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6) ((triple5 ((triple3 triple1 triple5) -> rule3) ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6) ((((triple4 triple2 triple3) -> rule1) triple4 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6) ((((triple4 triple2 triple3) -> rule1) ((triple3 triple1 triple5) -> rule3) ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7)) -> rule2))]
("Alan" "is" "rough" "+")
((triple1 ((triple2 triple5) -> (rule6 % int3)) ((triple5 triple4 ((triple2 triple5) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
((triple1 ((triple2 triple5) -> (rule6 % int4)) ((triple5 ((triple3 triple1 triple5) -> (rule3 % int3)) ((triple2 triple5) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
((triple1 ((triple2 triple5) -> (rule6 % int4)) ((((triple4 triple2 triple3) -> (rule1 % int3)) triple4 ((triple2 triple5) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
((triple1 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int4))) -> (rule6 % int3)) ((triple5 triple4 ((triple2 triple5) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
((triple1 ((triple2 triple5) -> (rule6 % int5)) ((((triple4 triple2 triple3) -> (rule1 % int4)) ((triple3 triple1 triple5) -> (rule3 % int3)) ((triple2 triple5) -> (rule6 % int5))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
Alan is kind.
("Alan" "is" "kind" "+")
int5
((triple1 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int5))) -> (rule6 % int4)) ((triple5 ((triple3 triple1 triple5) -> (rule3 % int3)) ((triple2 triple5) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Alan is big.
("Alan" "is" "big" "+")
int5
((triple1 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple4 triple2 triple3) -> (rule1 % int4)) triple4 ((triple2 triple5) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
((triple1 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int5))) -> (rule6 % int4)) ((((triple4 triple2 triple3) -> (rule1 % int5)) ((triple3 triple1 triple5) -> (rule3 % int3)) ((triple2 triple5) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Alan is big.
("Alan" "is" "big" "+")
int5
((triple1 ((triple2 triple5) -> (rule6 % int4)) ((triple5 triple4 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int3))) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
((triple1 ((triple2 triple5) -> (rule6 % int5)) ((triple5 ((triple3 triple1 triple5) -> (rule3 % int4)) ((triple2 ((triple4 triple2 triple3) -> (rule1 % int3))) -> (rule6 % int5))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is kind.
("Alan" "is" "kind" "+")
int5
((triple1 ((triple2 triple5) -> (rule6 % int4)) ((((triple4 triple2 triple3) -> (rule1 % int3)) triple4 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int3))) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
((triple1 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int4))) -> (rule6 % int3)) ((triple5 triple4 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
((triple1 ((triple2 triple5) -> (rule6 % int5)) ((((triple4 triple2 triple3) -> (rule1 % int4)) ((triple3 triple1 triple5) -> (rule3 % int3)) ((triple2 ((triple4 triple2 triple3) -> (rule1 % int4))) -> (rule6 % int5))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
Alan is kind.
("Alan" "is" "kind" "+")
int5
((triple1 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int5))) -> (rule6 % int4)) ((triple5 ((triple3 triple1 triple5) -> (rule3 % int3)) ((triple2 ((triple4 triple2 triple3) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Alan is big.
("Alan" "is" "big" "+")
int5
((triple1 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple4 triple2 triple3) -> (rule1 % int4)) triple4 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
((triple1 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int5))) -> (rule6 % int4)) ((((triple4 triple2 triple3) -> (rule1 % int5)) ((triple3 triple1 triple5) -> (rule3 % int3)) ((triple2 ((triple4 triple2 triple3) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Alan is big.
("Alan" "is" "big" "+")
int5
Alan is not rough.
False
11
inv-proof
[(((triple1 ((triple2 triple5) -> rule6) ((triple5 triple4 ((triple2 triple5) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 triple5) -> rule6) ((triple5 ((triple3 triple1 triple5) -> rule3) ((triple2 triple5) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 triple5) -> rule6) ((((triple4 triple2 triple3) -> rule1) triple4 ((triple2 triple5) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6) ((triple5 triple4 ((triple2 triple5) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 triple5) -> rule6) ((((triple4 triple2 triple3) -> rule1) ((triple3 triple1 triple5) -> rule3) ((triple2 triple5) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6) ((triple5 ((triple3 triple1 triple5) -> rule3) ((triple2 triple5) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6) ((((triple4 triple2 triple3) -> rule1) triple4 ((triple2 triple5) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6) ((((triple4 triple2 triple3) -> rule1) ((triple3 triple1 triple5) -> rule3) ((triple2 triple5) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 triple5) -> rule6) ((triple5 triple4 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 triple5) -> rule6) ((triple5 ((triple3 triple1 triple5) -> rule3) ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 triple5) -> rule6) ((((triple4 triple2 triple3) -> rule1) triple4 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6) ((triple5 triple4 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 triple5) -> rule6) ((((triple4 triple2 triple3) -> rule1) ((triple3 triple1 triple5) -> rule3) ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6) ((triple5 ((triple3 triple1 triple5) -> rule3) ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6) ((((triple4 triple2 triple3) -> rule1) triple4 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6) ((((triple4 triple2 triple3) -> rule1) ((triple3 triple1 triple5) -> rule3) ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7)) -> rule2))]
("Alan" "is" "rough" "-")
((triple1 ((triple2 triple5) -> (rule6 % int3)) ((triple5 triple4 ((triple2 triple5) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
((triple1 ((triple2 triple5) -> (rule6 % int4)) ((triple5 ((triple3 triple1 triple5) -> (rule3 % int3)) ((triple2 triple5) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
((triple1 ((triple2 triple5) -> (rule6 % int4)) ((((triple4 triple2 triple3) -> (rule1 % int3)) triple4 ((triple2 triple5) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
((triple1 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int4))) -> (rule6 % int3)) ((triple5 triple4 ((triple2 triple5) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
((triple1 ((triple2 triple5) -> (rule6 % int5)) ((((triple4 triple2 triple3) -> (rule1 % int4)) ((triple3 triple1 triple5) -> (rule3 % int3)) ((triple2 triple5) -> (rule6 % int5))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
Alan is kind.
("Alan" "is" "kind" "+")
int5
((triple1 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int5))) -> (rule6 % int4)) ((triple5 ((triple3 triple1 triple5) -> (rule3 % int3)) ((triple2 triple5) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Alan is big.
("Alan" "is" "big" "+")
int5
((triple1 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple4 triple2 triple3) -> (rule1 % int4)) triple4 ((triple2 triple5) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
((triple1 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int5))) -> (rule6 % int4)) ((((triple4 triple2 triple3) -> (rule1 % int5)) ((triple3 triple1 triple5) -> (rule3 % int3)) ((triple2 triple5) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Alan is big.
("Alan" "is" "big" "+")
int5
((triple1 ((triple2 triple5) -> (rule6 % int4)) ((triple5 triple4 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int3))) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
((triple1 ((triple2 triple5) -> (rule6 % int5)) ((triple5 ((triple3 triple1 triple5) -> (rule3 % int4)) ((triple2 ((triple4 triple2 triple3) -> (rule1 % int3))) -> (rule6 % int5))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is kind.
("Alan" "is" "kind" "+")
int5
((triple1 ((triple2 triple5) -> (rule6 % int4)) ((((triple4 triple2 triple3) -> (rule1 % int3)) triple4 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int3))) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
((triple1 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int4))) -> (rule6 % int3)) ((triple5 triple4 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
((triple1 ((triple2 triple5) -> (rule6 % int5)) ((((triple4 triple2 triple3) -> (rule1 % int4)) ((triple3 triple1 triple5) -> (rule3 % int3)) ((triple2 ((triple4 triple2 triple3) -> (rule1 % int4))) -> (rule6 % int5))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
Alan is kind.
("Alan" "is" "kind" "+")
int5
((triple1 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int5))) -> (rule6 % int4)) ((triple5 ((triple3 triple1 triple5) -> (rule3 % int3)) ((triple2 ((triple4 triple2 triple3) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Alan is big.
("Alan" "is" "big" "+")
int5
((triple1 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple4 triple2 triple3) -> (rule1 % int4)) triple4 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
((triple1 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int5))) -> (rule6 % int4)) ((((triple4 triple2 triple3) -> (rule1 % int5)) ((triple3 triple1 triple5) -> (rule3 % int3)) ((triple2 ((triple4 triple2 triple3) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Alan is big.
("Alan" "is" "big" "+")
int5
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "big" "-")
Fred is kind.
Unknown
rconc
[@2: Fred is kind.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Fred" "is" "kind" "+")
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "cold" "-")
Eric is kind.
Unknown
rconc
[@2: Eric is kind.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Eric" "is" "kind" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Alan is big.[(triple5 OR ((triple4 triple2 triple3) -> rule1))] Alan is cold.[(triple4 OR ((triple3 triple1 triple5) -> rule3))] Alan is green.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Eric is nice.[(triple8)] Eric is red.[(triple7)] Eric is round.[(triple6)] Fred is blue.[(triple11)] Fred is cold.[(triple10)] Fred is nice.[(triple9)] @1: Alan is kind.[(((triple2 triple5) -> rule6) OR ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6))] @2: Alan is red.[(((triple5 triple4 ((triple2 triple5) -> rule6)) -> rule7) OR ((triple5 ((triple3 triple1 triple5) -> rule3) ((triple2 triple5) -> rule6)) -> rule7) OR ((((triple4 triple2 triple3) -> rule1) triple4 ((triple2 triple5) -> rule6)) -> rule7) OR ((((triple4 triple2 triple3) -> rule1) ((triple3 triple1 triple5) -> rule3) ((triple2 triple5) -> rule6)) -> rule7) OR ((triple5 triple4 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7) OR ((triple5 ((triple3 triple1 triple5) -> rule3) ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7) OR ((((triple4 triple2 triple3) -> rule1) triple4 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7) OR ((((triple4 triple2 triple3) -> rule1) ((triple3 triple1 triple5) -> rule3) ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7))] @3: Alan is rough.[(((triple1 ((triple2 triple5) -> rule6) ((triple5 triple4 ((triple2 triple5) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 triple5) -> rule6) ((triple5 ((triple3 triple1 triple5) -> rule3) ((triple2 triple5) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 triple5) -> rule6) ((((triple4 triple2 triple3) -> rule1) triple4 ((triple2 triple5) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6) ((triple5 triple4 ((triple2 triple5) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 triple5) -> rule6) ((((triple4 triple2 triple3) -> rule1) ((triple3 triple1 triple5) -> rule3) ((triple2 triple5) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6) ((triple5 ((triple3 triple1 triple5) -> rule3) ((triple2 triple5) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6) ((((triple4 triple2 triple3) -> rule1) triple4 ((triple2 triple5) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6) ((((triple4 triple2 triple3) -> rule1) ((triple3 triple1 triple5) -> rule3) ((triple2 triple5) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 triple5) -> rule6) ((triple5 triple4 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 triple5) -> rule6) ((triple5 ((triple3 triple1 triple5) -> rule3) ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 triple5) -> rule6) ((((triple4 triple2 triple3) -> rule1) triple4 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6) ((triple5 triple4 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 triple5) -> rule6) ((((triple4 triple2 triple3) -> rule1) ((triple3 triple1 triple5) -> rule3) ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6) ((triple5 ((triple3 triple1 triple5) -> rule3) ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6) ((((triple4 triple2 triple3) -> rule1) triple4 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6) ((((triple4 triple2 triple3) -> rule1) ((triple3 triple1 triple5) -> rule3) ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7)) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
triple5
((triple4 triple2 triple3) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
triple4
((triple3 triple1 triple5) -> (rule3 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Eric is nice.
("Eric" "is" "nice" "+")
triple8
Eric is red.
("Eric" "is" "red" "+")
triple7
Eric is round.
("Eric" "is" "round" "+")
triple6
Fred is blue.
("Fred" "is" "blue" "+")
triple11
Fred is cold.
("Fred" "is" "cold" "+")
triple10
Fred is nice.
("Fred" "is" "nice" "+")
triple9
Alan is kind.
("Alan" "is" "kind" "+")
((triple2 triple5) -> (rule6 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
((triple2 ((triple4 triple2 triple3) -> (rule1 % int2))) -> (rule6 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
((triple5 triple4 ((triple2 triple5) -> (rule6 % int2))) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
((triple5 ((triple3 triple1 triple5) -> (rule3 % int3)) ((triple2 triple5) -> (rule6 % int2))) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
((((triple4 triple2 triple3) -> (rule1 % int3)) triple4 ((triple2 triple5) -> (rule6 % int2))) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
((((triple4 triple2 triple3) -> (rule1 % int4)) ((triple3 triple1 triple5) -> (rule3 % int3)) ((triple2 triple5) -> (rule6 % int2))) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
((triple5 triple4 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
((triple5 ((triple3 triple1 triple5) -> (rule3 % int4)) ((triple2 ((triple4 triple2 triple3) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
((((triple4 triple2 triple3) -> (rule1 % int3)) triple4 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
((((triple4 triple2 triple3) -> (rule1 % int4)) ((triple3 triple1 triple5) -> (rule3 % int3)) ((triple2 ((triple4 triple2 triple3) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
Alan is rough.
("Alan" "is" "rough" "+")
((triple1 ((triple2 triple5) -> (rule6 % int3)) ((triple5 triple4 ((triple2 triple5) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
((triple1 ((triple2 triple5) -> (rule6 % int4)) ((triple5 ((triple3 triple1 triple5) -> (rule3 % int3)) ((triple2 triple5) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
((triple1 ((triple2 triple5) -> (rule6 % int4)) ((((triple4 triple2 triple3) -> (rule1 % int3)) triple4 ((triple2 triple5) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
((triple1 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int4))) -> (rule6 % int3)) ((triple5 triple4 ((triple2 triple5) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
((triple1 ((triple2 triple5) -> (rule6 % int5)) ((((triple4 triple2 triple3) -> (rule1 % int4)) ((triple3 triple1 triple5) -> (rule3 % int3)) ((triple2 triple5) -> (rule6 % int5))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
Alan is kind.
("Alan" "is" "kind" "+")
int5
((triple1 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int5))) -> (rule6 % int4)) ((triple5 ((triple3 triple1 triple5) -> (rule3 % int3)) ((triple2 triple5) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Alan is big.
("Alan" "is" "big" "+")
int5
((triple1 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple4 triple2 triple3) -> (rule1 % int4)) triple4 ((triple2 triple5) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
((triple1 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int5))) -> (rule6 % int4)) ((((triple4 triple2 triple3) -> (rule1 % int5)) ((triple3 triple1 triple5) -> (rule3 % int3)) ((triple2 triple5) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Alan is big.
("Alan" "is" "big" "+")
int5
((triple1 ((triple2 triple5) -> (rule6 % int4)) ((triple5 triple4 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int3))) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
((triple1 ((triple2 triple5) -> (rule6 % int5)) ((triple5 ((triple3 triple1 triple5) -> (rule3 % int4)) ((triple2 ((triple4 triple2 triple3) -> (rule1 % int3))) -> (rule6 % int5))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is kind.
("Alan" "is" "kind" "+")
int5
((triple1 ((triple2 triple5) -> (rule6 % int4)) ((((triple4 triple2 triple3) -> (rule1 % int3)) triple4 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int3))) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
((triple1 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int4))) -> (rule6 % int3)) ((triple5 triple4 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
((triple1 ((triple2 triple5) -> (rule6 % int5)) ((((triple4 triple2 triple3) -> (rule1 % int4)) ((triple3 triple1 triple5) -> (rule3 % int3)) ((triple2 ((triple4 triple2 triple3) -> (rule1 % int4))) -> (rule6 % int5))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
Alan is kind.
("Alan" "is" "kind" "+")
int5
((triple1 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int5))) -> (rule6 % int4)) ((triple5 ((triple3 triple1 triple5) -> (rule3 % int3)) ((triple2 ((triple4 triple2 triple3) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Alan is big.
("Alan" "is" "big" "+")
int5
((triple1 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple4 triple2 triple3) -> (rule1 % int4)) triple4 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
((triple1 ((triple2 ((triple4 triple2 triple3) -> (rule1 % int5))) -> (rule6 % int4)) ((((triple4 triple2 triple3) -> (rule1 % int5)) ((triple3 triple1 triple5) -> (rule3 % int3)) ((triple2 ((triple4 triple2 triple3) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Alan is big.
("Alan" "is" "big" "+")
int5
Alan is young and a bit big and round; He acts cold towards skinny people because he is green with envy.
Eric is a nice round guy, which leads to him being red.
As much as Fred is nice, he is also cold and often feels blue.
A green person who is cold and round is also big.
Red, kind, young people will be rough people, too.
A big young person that is green will be cold to others.
Interestingly, cold and rough people are kind.
A cold human with round and rough aspects is always kind.
Round and somewhat big people manage to be kind to everyone.
Anyone who is big and cold and also kind is definitely red on top if it.