Bob's a young guy who is big, red and round. Additionally, he's both kind and cold. Charlie was born only a few years ago so he is young. Eric looks red to most people, with blue features. Harry is round shaped and green colored. A round and nice person will certainly have a red tint to them. If a red person is cold and kind to others, they also tend to be blue. A rough and round person is also a big person. People who are big and kind and feel down and blue tend to have rough skin. Blue people who are rough are often young. Big, red things tend to have a kind spirit to them. Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is round and nice then they are red.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and kind and red then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and rough then they are big.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and big and blue then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is red and big then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and rough and big then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Eric is red.
True
1
proof
[(triple8)]
("Eric" "is" "red" "+")
triple8
Charlie is not young.
False
1
inv-proof
[(triple7)]
("Charlie" "is" "young" "-")
triple7
Bob is blue.
True
4
proof
[(((triple5 triple4 triple3) -> rule2) OR ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2))]
("Bob" "is" "blue" "+")
((triple5 triple4 triple3) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((triple5 ((triple3 triple6) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is not blue.
False
4
inv-proof
[(((triple5 triple4 triple3) -> rule2) OR ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2))]
("Bob" "is" "blue" "-")
((triple5 triple4 triple3) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((triple5 ((triple3 triple6) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
True
7
proof
[(((triple4 triple6 ((triple5 triple4 triple3) -> rule2)) -> rule4) OR ((((triple3 triple6) -> rule6) triple6 ((triple5 triple4 triple3) -> rule2)) -> rule4) OR ((triple4 triple6 ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule4) OR ((((triple3 triple6) -> rule6) triple6 ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule4))]
("Bob" "is" "rough" "+")
((triple4 triple6 ((triple5 triple4 triple3) -> (rule2 % int2))) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple3 triple6) -> (rule6 % int3)) triple6 ((triple5 triple4 triple3) -> (rule2 % int2))) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((triple4 triple6 ((triple5 ((triple3 triple6) -> (rule6 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple3 triple6) -> (rule6 % int3)) triple6 ((triple5 ((triple3 triple6) -> (rule6 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is not rough.
False
7
inv-proof
[(((triple4 triple6 ((triple5 triple4 triple3) -> rule2)) -> rule4) OR ((((triple3 triple6) -> rule6) triple6 ((triple5 triple4 triple3) -> rule2)) -> rule4) OR ((triple4 triple6 ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule4) OR ((((triple3 triple6) -> rule6) triple6 ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule4))]
("Bob" "is" "rough" "-")
((triple4 triple6 ((triple5 triple4 triple3) -> (rule2 % int2))) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple3 triple6) -> (rule6 % int3)) triple6 ((triple5 triple4 triple3) -> (rule2 % int2))) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((triple4 triple6 ((triple5 ((triple3 triple6) -> (rule6 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple3 triple6) -> (rule6 % int3)) triple6 ((triple5 ((triple3 triple6) -> (rule6 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is nice.
True
13
proof
[(((((triple5 triple4 triple3) -> rule2) ((triple4 triple6 ((triple5 triple4 triple3) -> rule2)) -> rule4) triple6) -> rule7) OR ((((triple5 triple4 triple3) -> rule2) ((((triple3 triple6) -> rule6) triple6 ((triple5 triple4 triple3) -> rule2)) -> rule4) triple6) -> rule7) OR ((((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2) ((triple4 triple6 ((triple5 triple4 triple3) -> rule2)) -> rule4) triple6) -> rule7) OR ((((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2) ((((triple3 triple6) -> rule6) triple6 ((triple5 triple4 triple3) -> rule2)) -> rule4) triple6) -> rule7) OR ((((triple5 triple4 triple3) -> rule2) ((triple4 triple6 ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule4) triple6) -> rule7) OR ((((triple5 triple4 triple3) -> rule2) ((((triple3 triple6) -> rule6) triple6 ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule4) triple6) -> rule7) OR ((((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2) ((triple4 triple6 ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule4) triple6) -> rule7) OR ((((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2) ((((triple3 triple6) -> rule6) triple6 ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule4) triple6) -> rule7))]
("Bob" "is" "nice" "+")
((((triple5 triple4 triple3) -> (rule2 % int3)) ((triple4 triple6 ((triple5 triple4 triple3) -> (rule2 % int3))) -> (rule4 % int2)) triple6) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple5 triple4 triple3) -> (rule2 % int4)) ((((triple3 triple6) -> (rule6 % int3)) triple6 ((triple5 triple4 triple3) -> (rule2 % int4))) -> (rule4 % int2)) triple6) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple5 ((triple3 triple6) -> (rule6 % int4)) triple3) -> (rule2 % int3)) ((triple4 triple6 ((triple5 triple4 triple3) -> (rule2 % int3))) -> (rule4 % int2)) triple6) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple5 ((triple3 triple6) -> (rule6 % int4)) triple3) -> (rule2 % int3)) ((((triple3 triple6) -> (rule6 % int4)) triple6 ((triple5 triple4 triple3) -> (rule2 % int3))) -> (rule4 % int2)) triple6) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple5 triple4 triple3) -> (rule2 % int4)) ((triple4 triple6 ((triple5 ((triple3 triple6) -> (rule6 % int3)) triple3) -> (rule2 % int4))) -> (rule4 % int2)) triple6) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple5 triple4 triple3) -> (rule2 % int4)) ((((triple3 triple6) -> (rule6 % int3)) triple6 ((triple5 ((triple3 triple6) -> (rule6 % int3)) triple3) -> (rule2 % int4))) -> (rule4 % int2)) triple6) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple5 ((triple3 triple6) -> (rule6 % int4)) triple3) -> (rule2 % int3)) ((triple4 triple6 ((triple5 ((triple3 triple6) -> (rule6 % int4)) triple3) -> (rule2 % int3))) -> (rule4 % int2)) triple6) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple5 ((triple3 triple6) -> (rule6 % int4)) triple3) -> (rule2 % int3)) ((((triple3 triple6) -> (rule6 % int4)) triple6 ((triple5 ((triple3 triple6) -> (rule6 % int4)) triple3) -> (rule2 % int3))) -> (rule4 % int2)) triple6) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is not nice.
False
13
inv-proof
[(((((triple5 triple4 triple3) -> rule2) ((triple4 triple6 ((triple5 triple4 triple3) -> rule2)) -> rule4) triple6) -> rule7) OR ((((triple5 triple4 triple3) -> rule2) ((((triple3 triple6) -> rule6) triple6 ((triple5 triple4 triple3) -> rule2)) -> rule4) triple6) -> rule7) OR ((((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2) ((triple4 triple6 ((triple5 triple4 triple3) -> rule2)) -> rule4) triple6) -> rule7) OR ((((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2) ((((triple3 triple6) -> rule6) triple6 ((triple5 triple4 triple3) -> rule2)) -> rule4) triple6) -> rule7) OR ((((triple5 triple4 triple3) -> rule2) ((triple4 triple6 ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule4) triple6) -> rule7) OR ((((triple5 triple4 triple3) -> rule2) ((((triple3 triple6) -> rule6) triple6 ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule4) triple6) -> rule7) OR ((((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2) ((triple4 triple6 ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule4) triple6) -> rule7) OR ((((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2) ((((triple3 triple6) -> rule6) triple6 ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule4) triple6) -> rule7))]
("Bob" "is" "nice" "-")
((((triple5 triple4 triple3) -> (rule2 % int3)) ((triple4 triple6 ((triple5 triple4 triple3) -> (rule2 % int3))) -> (rule4 % int2)) triple6) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple5 triple4 triple3) -> (rule2 % int4)) ((((triple3 triple6) -> (rule6 % int3)) triple6 ((triple5 triple4 triple3) -> (rule2 % int4))) -> (rule4 % int2)) triple6) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple5 ((triple3 triple6) -> (rule6 % int4)) triple3) -> (rule2 % int3)) ((triple4 triple6 ((triple5 triple4 triple3) -> (rule2 % int3))) -> (rule4 % int2)) triple6) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple5 ((triple3 triple6) -> (rule6 % int4)) triple3) -> (rule2 % int3)) ((((triple3 triple6) -> (rule6 % int4)) triple6 ((triple5 triple4 triple3) -> (rule2 % int3))) -> (rule4 % int2)) triple6) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple5 triple4 triple3) -> (rule2 % int4)) ((triple4 triple6 ((triple5 ((triple3 triple6) -> (rule6 % int3)) triple3) -> (rule2 % int4))) -> (rule4 % int2)) triple6) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple5 triple4 triple3) -> (rule2 % int4)) ((((triple3 triple6) -> (rule6 % int3)) triple6 ((triple5 ((triple3 triple6) -> (rule6 % int3)) triple3) -> (rule2 % int4))) -> (rule4 % int2)) triple6) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple5 ((triple3 triple6) -> (rule6 % int4)) triple3) -> (rule2 % int3)) ((triple4 triple6 ((triple5 ((triple3 triple6) -> (rule6 % int4)) triple3) -> (rule2 % int3))) -> (rule4 % int2)) triple6) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple5 ((triple3 triple6) -> (rule6 % int4)) triple3) -> (rule2 % int3)) ((((triple3 triple6) -> (rule6 % int4)) triple6 ((triple5 ((triple3 triple6) -> (rule6 % int4)) triple3) -> (rule2 % int3))) -> (rule4 % int2)) triple6) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Eric is not young.
Unknown
inv-rconc
[@3: Eric is young.[CWA. Example of deepest failure = (rule5 <- rule4 <- rule3 <- FAIL)]]
("Eric" "is" "young" "-")
Harry is big.
Unknown
rconc
[@2: Harry is big.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Harry" "is" "big" "+")
Eric is not rough.
Unknown
inv-rconc
[@2: Eric is rough.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Eric" "is" "rough" "-")
Harry is blue.
Unknown
rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "blue" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Bob is big.[(triple6)] Bob is cold.[(triple5)] Bob is kind.[(triple4 OR ((triple3 triple6) -> rule6))] Bob is red.[(triple3)] Bob is round.[(triple2)] Bob is young.[(triple1 OR ((((triple4 triple6 ((triple5 triple4 triple3) -> rule2)) -> rule4) ((triple5 triple4 triple3) -> rule2)) -> rule5) OR ((((triple4 triple6 ((triple5 triple4 triple3) -> rule2)) -> rule4) ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule5) OR ((((((triple3 triple6) -> rule6) triple6 ((triple5 triple4 triple3) -> rule2)) -> rule4) ((triple5 triple4 triple3) -> rule2)) -> rule5) OR ((((((triple3 triple6) -> rule6) triple6 ((triple5 triple4 triple3) -> rule2)) -> rule4) ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule5) OR ((((triple4 triple6 ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule4) ((triple5 triple4 triple3) -> rule2)) -> rule5) OR ((((triple4 triple6 ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule4) ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule5) OR ((((((triple3 triple6) -> rule6) triple6 ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule4) ((triple5 triple4 triple3) -> rule2)) -> rule5) OR ((((((triple3 triple6) -> rule6) triple6 ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule4) ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule5))] Charlie is young.[(triple7)] Eric is blue.[(triple9)] Eric is red.[(triple8)] Harry is green.[(triple11)] Harry is round.[(triple10)] @1: Bob is blue.[(((triple5 triple4 triple3) -> rule2) OR ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2))] @2: Bob is rough.[(((triple4 triple6 ((triple5 triple4 triple3) -> rule2)) -> rule4) OR ((((triple3 triple6) -> rule6) triple6 ((triple5 triple4 triple3) -> rule2)) -> rule4) OR ((triple4 triple6 ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule4) OR ((((triple3 triple6) -> rule6) triple6 ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule4))] @3: Bob is nice.[(((((triple5 triple4 triple3) -> rule2) ((triple4 triple6 ((triple5 triple4 triple3) -> rule2)) -> rule4) triple6) -> rule7) OR ((((triple5 triple4 triple3) -> rule2) ((((triple3 triple6) -> rule6) triple6 ((triple5 triple4 triple3) -> rule2)) -> rule4) triple6) -> rule7) OR ((((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2) ((triple4 triple6 ((triple5 triple4 triple3) -> rule2)) -> rule4) triple6) -> rule7) OR ((((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2) ((((triple3 triple6) -> rule6) triple6 ((triple5 triple4 triple3) -> rule2)) -> rule4) triple6) -> rule7) OR ((((triple5 triple4 triple3) -> rule2) ((triple4 triple6 ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule4) triple6) -> rule7) OR ((((triple5 triple4 triple3) -> rule2) ((((triple3 triple6) -> rule6) triple6 ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule4) triple6) -> rule7) OR ((((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2) ((triple4 triple6 ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule4) triple6) -> rule7) OR ((((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2) ((((triple3 triple6) -> rule6) triple6 ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule4) triple6) -> rule7))]
Bob is big.
("Bob" "is" "big" "+")
triple6
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple4
((triple3 triple6) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
((((triple4 triple6 ((triple5 triple4 triple3) -> (rule2 % int3))) -> (rule4 % int2)) ((triple5 triple4 triple3) -> (rule2 % int3))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple4 triple6 ((triple5 triple4 triple3) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5 ((triple3 triple6) -> (rule6 % int2)) triple3) -> (rule2 % int4))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((triple3 triple6) -> (rule6 % int4)) triple6 ((triple5 triple4 triple3) -> (rule2 % int3))) -> (rule4 % int2)) ((triple5 triple4 triple3) -> (rule2 % int3))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple3 triple6) -> (rule6 % int4)) triple6 ((triple5 triple4 triple3) -> (rule2 % int3))) -> (rule4 % int2)) ((triple5 ((triple3 triple6) -> (rule6 % int4)) triple3) -> (rule2 % int3))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple4 triple6 ((triple5 ((triple3 triple6) -> (rule6 % int4)) triple3) -> (rule2 % int3))) -> (rule4 % int2)) ((triple5 triple4 triple3) -> (rule2 % int3))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple4 triple6 ((triple5 ((triple3 triple6) -> (rule6 % int4)) triple3) -> (rule2 % int3))) -> (rule4 % int2)) ((triple5 ((triple3 triple6) -> (rule6 % int4)) triple3) -> (rule2 % int3))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple3 triple6) -> (rule6 % int4)) triple6 ((triple5 ((triple3 triple6) -> (rule6 % int4)) triple3) -> (rule2 % int3))) -> (rule4 % int2)) ((triple5 triple4 triple3) -> (rule2 % int3))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple3 triple6) -> (rule6 % int4)) triple6 ((triple5 ((triple3 triple6) -> (rule6 % int4)) triple3) -> (rule2 % int3))) -> (rule4 % int2)) ((triple5 ((triple3 triple6) -> (rule6 % int4)) triple3) -> (rule2 % int3))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Eric is blue.
("Eric" "is" "blue" "+")
triple9
Eric is red.
("Eric" "is" "red" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Bob is blue.
("Bob" "is" "blue" "+")
((triple5 triple4 triple3) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((triple5 ((triple3 triple6) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
((triple4 triple6 ((triple5 triple4 triple3) -> (rule2 % int2))) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple3 triple6) -> (rule6 % int3)) triple6 ((triple5 triple4 triple3) -> (rule2 % int2))) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((triple4 triple6 ((triple5 ((triple3 triple6) -> (rule6 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple3 triple6) -> (rule6 % int3)) triple6 ((triple5 ((triple3 triple6) -> (rule6 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
((((triple5 triple4 triple3) -> (rule2 % int3)) ((triple4 triple6 ((triple5 triple4 triple3) -> (rule2 % int3))) -> (rule4 % int2)) triple6) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple5 triple4 triple3) -> (rule2 % int4)) ((((triple3 triple6) -> (rule6 % int3)) triple6 ((triple5 triple4 triple3) -> (rule2 % int4))) -> (rule4 % int2)) triple6) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple5 ((triple3 triple6) -> (rule6 % int4)) triple3) -> (rule2 % int3)) ((triple4 triple6 ((triple5 triple4 triple3) -> (rule2 % int3))) -> (rule4 % int2)) triple6) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple5 ((triple3 triple6) -> (rule6 % int4)) triple3) -> (rule2 % int3)) ((((triple3 triple6) -> (rule6 % int4)) triple6 ((triple5 triple4 triple3) -> (rule2 % int3))) -> (rule4 % int2)) triple6) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple5 triple4 triple3) -> (rule2 % int4)) ((triple4 triple6 ((triple5 ((triple3 triple6) -> (rule6 % int3)) triple3) -> (rule2 % int4))) -> (rule4 % int2)) triple6) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple5 triple4 triple3) -> (rule2 % int4)) ((((triple3 triple6) -> (rule6 % int3)) triple6 ((triple5 ((triple3 triple6) -> (rule6 % int3)) triple3) -> (rule2 % int4))) -> (rule4 % int2)) triple6) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple5 ((triple3 triple6) -> (rule6 % int4)) triple3) -> (rule2 % int3)) ((triple4 triple6 ((triple5 ((triple3 triple6) -> (rule6 % int4)) triple3) -> (rule2 % int3))) -> (rule4 % int2)) triple6) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple5 ((triple3 triple6) -> (rule6 % int4)) triple3) -> (rule2 % int3)) ((((triple3 triple6) -> (rule6 % int4)) triple6 ((triple5 ((triple3 triple6) -> (rule6 % int4)) triple3) -> (rule2 % int3))) -> (rule4 % int2)) triple6) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob's a young guy who is big, red and round; Additionally, he's both kind and cold.
Charlie was born only a few years ago so he is young.
Eric looks red to most people, with blue features.
Harry is round shaped and green colored.
A round and nice person will certainly have a red tint to them.
If a red person is cold and kind to others, they also tend to be blue.
A rough and round person is also a big person.
People who are big and kind and feel down and blue tend to have rough skin.
Blue people who are rough are often young.
Big, red things tend to have a kind spirit to them.
Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.