Young Alan is so nice even though he always feels cold.  He loves to wear blue and green clothes. Bob was born only a few years ago so he is young. Dave ate some rotten meat and now feels green. Everyone knows that Fred is nice and kind, but Fred is also blue from the cold. This makes him look rather round. Being round and nice automatically means a person is kind. If people are nice and round, they look red. An individual that fits the nice, red, and kind description will fit the description of big, too. Red, kind, young people will be rough people, too. People who are green and blue tend to be round in shape. I have found that young, blue, and big individuals are also red. People who are nice and cold are also green.
Alan is young.
("Alan" "is" "young" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is green.
("Dave" "is" "green" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is round and nice then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and round then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is red and kind and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("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 blue then they are round.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is young and blue and big then they are red.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and cold then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Dave is green.
True
1
proof
[(triple7)]
("Dave" "is" "green" "+")
triple7
Fred is not nice.
False
1
inv-proof
[(triple9)]
("Fred" "is" "nice" "-")
triple9
Fred is green.
True
3
proof
[(((triple9 triple11) -> rule7))]
("Fred" "is" "green" "+")
((triple9 triple11) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is not red.
False
3
inv-proof
[(((triple9 triple8) -> rule2) OR ((triple9 ((((triple9 triple11) -> rule7) triple12) -> rule5)) -> rule2))]
("Fred" "is" "red" "-")
((triple9 triple8) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
((triple9 ((((triple9 triple11) -> (rule7 % int3)) triple12) -> (rule5 % int2))) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Alan is red.
True
5
proof
[(((triple2 ((triple3 triple5) -> rule5)) -> rule2) OR ((triple2 ((((triple2 triple4) -> rule7) triple5) -> rule5)) -> rule2))]
("Alan" "is" "red" "+")
((triple2 ((triple3 triple5) -> (rule5 % int2))) -> (rule2 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
((triple2 ((((triple2 triple4) -> (rule7 % int3)) triple5) -> (rule5 % int2))) -> (rule2 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is not kind.
False
5
inv-proof
[(((((triple3 triple5) -> rule5) triple2) -> rule1) OR ((((((triple2 triple4) -> rule7) triple5) -> rule5) triple2) -> rule1))]
("Alan" "is" "kind" "-")
((((triple3 triple5) -> (rule5 % int2)) triple2) -> (rule1 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
((((((triple2 triple4) -> (rule7 % int3)) triple5) -> (rule5 % int2)) triple2) -> (rule1 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is big.
True
12
proof
[(((((triple2 ((triple3 triple5) -> rule5)) -> rule2) ((((triple3 triple5) -> rule5) triple2) -> rule1) triple2) -> rule3) OR ((((triple2 ((triple3 triple5) -> rule5)) -> rule2) ((((((triple2 triple4) -> rule7) triple5) -> rule5) triple2) -> rule1) triple2) -> rule3) OR ((((triple2 ((((triple2 triple4) -> rule7) triple5) -> rule5)) -> rule2) ((((triple3 triple5) -> rule5) triple2) -> rule1) triple2) -> rule3) OR ((((triple2 ((((triple2 triple4) -> rule7) triple5) -> rule5)) -> rule2) ((((((triple2 triple4) -> rule7) triple5) -> rule5) triple2) -> rule1) triple2) -> rule3))]
("Alan" "is" "big" "+")
((((triple2 ((triple3 triple5) -> (rule5 % int4))) -> (rule2 % int3)) ((((triple3 triple5) -> (rule5 % int4)) triple2) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
((((triple2 ((triple3 triple5) -> (rule5 % int5))) -> (rule2 % int4)) ((((((triple2 triple4) -> (rule7 % int3)) triple5) -> (rule5 % int5)) triple2) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is red.
("Alan" "is" "red" "+")
int4
Alan is round.
("Alan" "is" "round" "+")
int5
((((triple2 ((((triple2 triple4) -> (rule7 % int5)) triple5) -> (rule5 % int4))) -> (rule2 % int3)) ((((triple3 triple5) -> (rule5 % int4)) triple2) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Alan is green.
("Alan" "is" "green" "+")
int5
((((triple2 ((((triple2 triple4) -> (rule7 % int5)) triple5) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple2 triple4) -> (rule7 % int5)) triple5) -> (rule5 % int4)) triple2) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Alan is green.
("Alan" "is" "green" "+")
int5
Alan is not rough.
False
12
inv-proof
[(((triple1 ((((triple3 triple5) -> rule5) triple2) -> rule1) ((triple2 ((triple3 triple5) -> rule5)) -> rule2)) -> rule4) OR ((triple1 ((((triple3 triple5) -> rule5) triple2) -> rule1) ((triple2 ((((triple2 triple4) -> rule7) triple5) -> rule5)) -> rule2)) -> rule4) OR ((triple1 ((((((triple2 triple4) -> rule7) triple5) -> rule5) triple2) -> rule1) ((triple2 ((triple3 triple5) -> rule5)) -> rule2)) -> rule4) OR ((triple1 ((((((triple2 triple4) -> rule7) triple5) -> rule5) triple2) -> rule1) ((triple2 ((((triple2 triple4) -> rule7) triple5) -> rule5)) -> rule2)) -> rule4))]
("Alan" "is" "rough" "-")
((triple1 ((((triple3 triple5) -> (rule5 % int4)) triple2) -> (rule1 % int3)) ((triple2 ((triple3 triple5) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
((triple1 ((((triple3 triple5) -> (rule5 % int5)) triple2) -> (rule1 % int4)) ((triple2 ((((triple2 triple4) -> (rule7 % int3)) triple5) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Alan is round.
("Alan" "is" "round" "+")
int5
((triple1 ((((((triple2 triple4) -> (rule7 % int5)) triple5) -> (rule5 % int4)) triple2) -> (rule1 % int3)) ((triple2 ((triple3 triple5) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Alan is green.
("Alan" "is" "green" "+")
int5
((triple1 ((((((triple2 triple4) -> (rule7 % int5)) triple5) -> (rule5 % int4)) triple2) -> (rule1 % int3)) ((triple2 ((((triple2 triple4) -> (rule7 % int5)) triple5) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Alan is green.
("Alan" "is" "green" "+")
int5
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "round" "-")
Bob is kind.
Unknown
rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "kind" "+")
Bob is not rough.
Unknown
inv-rconc
[@2: Bob is rough.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Bob" "is" "rough" "-")
Dave is kind.
Unknown
rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "kind" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Alan is blue.[(triple5)] Alan is cold.[(triple4)] Alan is green.[(triple3 OR ((triple2 triple4) -> rule7))] Alan is nice.[(triple2)] Alan is young.[(triple1)] Bob is young.[(triple6)] Dave is green.[(triple7)] Fred is blue.[(triple12)] Fred is cold.[(triple11)] Fred is kind.[(triple10 OR ((triple8 triple9) -> rule1) OR ((((((triple9 triple11) -> rule7) triple12) -> rule5) triple9) -> rule1))] Fred is nice.[(triple9)] Fred is round.[(triple8 OR ((((triple9 triple11) -> rule7) triple12) -> rule5))] @1: Alan is round.[(((triple3 triple5) -> rule5) OR ((((triple2 triple4) -> rule7) triple5) -> rule5))] Fred is green.[(((triple9 triple11) -> rule7))] Fred is red.[(((triple9 triple8) -> rule2) OR ((triple9 ((((triple9 triple11) -> rule7) triple12) -> rule5)) -> rule2))] @2: Alan is kind.[(((((triple3 triple5) -> rule5) triple2) -> rule1) OR ((((((triple2 triple4) -> rule7) triple5) -> rule5) triple2) -> rule1))] Alan is red.[(((triple2 ((triple3 triple5) -> rule5)) -> rule2) OR ((triple2 ((((triple2 triple4) -> rule7) triple5) -> rule5)) -> rule2))] Fred is big.[(((((triple9 triple8) -> rule2) triple10 triple9) -> rule3) OR ((((triple9 triple8) -> rule2) ((triple8 triple9) -> rule1) triple9) -> rule3) OR ((((triple9 ((((triple9 triple11) -> rule7) triple12) -> rule5)) -> rule2) triple10 triple9) -> rule3) OR ((((triple9 triple8) -> rule2) ((((((triple9 triple11) -> rule7) triple12) -> rule5) triple9) -> rule1) triple9) -> rule3) OR ((((triple9 ((((triple9 triple11) -> rule7) triple12) -> rule5)) -> rule2) ((triple8 triple9) -> rule1) triple9) -> rule3) OR ((((triple9 ((((triple9 triple11) -> rule7) triple12) -> rule5)) -> rule2) ((((((triple9 triple11) -> rule7) triple12) -> rule5) triple9) -> rule1) triple9) -> rule3))] @3: Alan is big.[(((((triple2 ((triple3 triple5) -> rule5)) -> rule2) ((((triple3 triple5) -> rule5) triple2) -> rule1) triple2) -> rule3) OR ((((triple2 ((triple3 triple5) -> rule5)) -> rule2) ((((((triple2 triple4) -> rule7) triple5) -> rule5) triple2) -> rule1) triple2) -> rule3) OR ((((triple2 ((((triple2 triple4) -> rule7) triple5) -> rule5)) -> rule2) ((((triple3 triple5) -> rule5) triple2) -> rule1) triple2) -> rule3) OR ((((triple2 ((((triple2 triple4) -> rule7) triple5) -> rule5)) -> rule2) ((((((triple2 triple4) -> rule7) triple5) -> rule5) triple2) -> rule1) triple2) -> rule3))] Alan is rough.[(((triple1 ((((triple3 triple5) -> rule5) triple2) -> rule1) ((triple2 ((triple3 triple5) -> rule5)) -> rule2)) -> rule4) OR ((triple1 ((((triple3 triple5) -> rule5) triple2) -> rule1) ((triple2 ((((triple2 triple4) -> rule7) triple5) -> rule5)) -> rule2)) -> rule4) OR ((triple1 ((((((triple2 triple4) -> rule7) triple5) -> rule5) triple2) -> rule1) ((triple2 ((triple3 triple5) -> rule5)) -> rule2)) -> rule4) OR ((triple1 ((((((triple2 triple4) -> rule7) triple5) -> rule5) triple2) -> rule1) ((triple2 ((((triple2 triple4) -> rule7) triple5) -> rule5)) -> rule2)) -> rule4))]
Alan is blue.
("Alan" "is" "blue" "+")
triple5
Alan is cold.
("Alan" "is" "cold" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
((triple2 triple4) -> (rule7 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple7
Fred is blue.
("Fred" "is" "blue" "+")
triple12
Fred is cold.
("Fred" "is" "cold" "+")
triple11
Fred is kind.
("Fred" "is" "kind" "+")
triple10
((triple8 triple9) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
((((((triple9 triple11) -> (rule7 % int3)) triple12) -> (rule5 % int2)) triple9) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
triple9
Fred is round.
("Fred" "is" "round" "+")
triple8
((((triple9 triple11) -> (rule7 % int2)) triple12) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
((triple3 triple5) -> (rule5 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
((((triple2 triple4) -> (rule7 % int2)) triple5) -> (rule5 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
((triple9 triple11) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple9 triple8) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
((triple9 ((((triple9 triple11) -> (rule7 % int3)) triple12) -> (rule5 % int2))) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
((((triple3 triple5) -> (rule5 % int2)) triple2) -> (rule1 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
((((((triple2 triple4) -> (rule7 % int3)) triple5) -> (rule5 % int2)) triple2) -> (rule1 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is red.
("Alan" "is" "red" "+")
((triple2 ((triple3 triple5) -> (rule5 % int2))) -> (rule2 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
((triple2 ((((triple2 triple4) -> (rule7 % int3)) triple5) -> (rule5 % int2))) -> (rule2 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
((((triple9 triple8) -> (rule2 % int2)) triple10 triple9) -> (rule3 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
((((triple9 triple8) -> (rule2 % int3)) ((triple8 triple9) -> (rule1 % int2)) triple9) -> (rule3 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
((((triple9 ((((triple9 triple11) -> (rule7 % int4)) triple12) -> (rule5 % int3))) -> (rule2 % int2)) triple10 triple9) -> (rule3 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is green.
("Fred" "is" "green" "+")
int4
((((triple9 triple8) -> (rule2 % int5)) ((((((triple9 triple11) -> (rule7 % int4)) triple12) -> (rule5 % int3)) triple9) -> (rule1 % int2)) triple9) -> (rule3 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is green.
("Fred" "is" "green" "+")
int4
Fred is red.
("Fred" "is" "red" "+")
int5
((((triple9 ((((triple9 triple11) -> (rule7 % int5)) triple12) -> (rule5 % int4))) -> (rule2 % int3)) ((triple8 triple9) -> (rule1 % int2)) triple9) -> (rule3 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
int4
Fred is green.
("Fred" "is" "green" "+")
int5
((((triple9 ((((triple9 triple11) -> (rule7 % int5)) triple12) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple9 triple11) -> (rule7 % int5)) triple12) -> (rule5 % int4)) triple9) -> (rule1 % int2)) triple9) -> (rule3 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
int4
Fred is green.
("Fred" "is" "green" "+")
int5
Alan is big.
("Alan" "is" "big" "+")
((((triple2 ((triple3 triple5) -> (rule5 % int4))) -> (rule2 % int3)) ((((triple3 triple5) -> (rule5 % int4)) triple2) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
((((triple2 ((triple3 triple5) -> (rule5 % int5))) -> (rule2 % int4)) ((((((triple2 triple4) -> (rule7 % int3)) triple5) -> (rule5 % int5)) triple2) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is red.
("Alan" "is" "red" "+")
int4
Alan is round.
("Alan" "is" "round" "+")
int5
((((triple2 ((((triple2 triple4) -> (rule7 % int5)) triple5) -> (rule5 % int4))) -> (rule2 % int3)) ((((triple3 triple5) -> (rule5 % int4)) triple2) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Alan is green.
("Alan" "is" "green" "+")
int5
((((triple2 ((((triple2 triple4) -> (rule7 % int5)) triple5) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple2 triple4) -> (rule7 % int5)) triple5) -> (rule5 % int4)) triple2) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Alan is green.
("Alan" "is" "green" "+")
int5
Alan is rough.
("Alan" "is" "rough" "+")
((triple1 ((((triple3 triple5) -> (rule5 % int4)) triple2) -> (rule1 % int3)) ((triple2 ((triple3 triple5) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
((triple1 ((((triple3 triple5) -> (rule5 % int5)) triple2) -> (rule1 % int4)) ((triple2 ((((triple2 triple4) -> (rule7 % int3)) triple5) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Alan is round.
("Alan" "is" "round" "+")
int5
((triple1 ((((((triple2 triple4) -> (rule7 % int5)) triple5) -> (rule5 % int4)) triple2) -> (rule1 % int3)) ((triple2 ((triple3 triple5) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Alan is green.
("Alan" "is" "green" "+")
int5
((triple1 ((((((triple2 triple4) -> (rule7 % int5)) triple5) -> (rule5 % int4)) triple2) -> (rule1 % int3)) ((triple2 ((((triple2 triple4) -> (rule7 % int5)) triple5) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Alan is green.
("Alan" "is" "green" "+")
int5
Young Alan is so nice even though he always feels cold; He loves to wear blue and green clothes.
Bob was born only a few years ago so he is young.
Dave ate some rotten meat and now feels green.
Everyone knows that Fred is nice and kind, but Fred is also blue from the cold; This makes him look rather round.
Being round and nice automatically means a person is kind.
If people are nice and round, they look red.
An individual that fits the nice, red, and kind description will fit the description of big, too.
Red, kind, young people will be rough people, too.
People who are green and blue tend to be round in shape.
I have found that young, blue, and big individuals are also red.
People who are nice and cold are also green.