Bob plays rough and gets red in his round face,yet people know he is young and often blue. Eric wears all blue. Fred is a very kind, green but sometimes cold person. Even though he's a big dude, Gary is cold. A red colored person who is kind and feels cold is usually considered nice. A young person with rough red skin is downhearted and blue. Maybe someone is rough and blue with the cold. You can tell if someone is big, kind, and young, then they are also nice. People that feel green are cold to people that try to help them. When you meet someone that's rough, kind and nice you'll see they are green as well. If you find that someone has rough blue skin they are always kind.
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is red and kind and cold then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and young and red then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and blue then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and kind and young then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and kind and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and blue then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
Bob is young.
True
1
proof
[(triple1)]
("Bob" "is" "young" "+")
triple1
Fred is not kind.
False
1
inv-proof
[(triple7)]
("Fred" "is" "kind" "-")
triple7
Bob is kind.
True
3
proof
[(((triple3 triple5) -> rule7) OR ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule7))]
("Bob" "is" "kind" "+")
((triple3 triple5) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple3 ((triple3 triple1 triple4) -> (rule2 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is not kind.
False
3
inv-proof
[(((triple3 triple5) -> rule7) OR ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule7))]
("Bob" "is" "kind" "-")
((triple3 triple5) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple3 ((triple3 triple1 triple4) -> (rule2 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is nice.
True
8
proof
[(((triple4 ((triple3 triple5) -> rule7) ((triple3 triple5) -> rule3)) -> rule1) OR ((triple4 ((triple3 triple5) -> rule7) ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule3)) -> rule1) OR ((triple4 ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule7) ((triple3 triple5) -> rule3)) -> rule1) OR ((triple4 ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule7) ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule3)) -> rule1))]
("Bob" "is" "nice" "+")
((triple4 ((triple3 triple5) -> (rule7 % int3)) ((triple3 triple5) -> (rule3 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((triple4 ((triple3 triple5) -> (rule7 % int4)) ((triple3 ((triple3 triple1 triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((triple4 ((triple3 ((triple3 triple1 triple4) -> (rule2 % int4))) -> (rule7 % int3)) ((triple3 triple5) -> (rule3 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((triple4 ((triple3 ((triple3 triple1 triple4) -> (rule2 % int4))) -> (rule7 % int3)) ((triple3 ((triple3 triple1 triple4) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is not nice.
False
8
inv-proof
[(((triple4 ((triple3 triple5) -> rule7) ((triple3 triple5) -> rule3)) -> rule1) OR ((triple4 ((triple3 triple5) -> rule7) ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule3)) -> rule1) OR ((triple4 ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule7) ((triple3 triple5) -> rule3)) -> rule1) OR ((triple4 ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule7) ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule3)) -> rule1))]
("Bob" "is" "nice" "-")
((triple4 ((triple3 triple5) -> (rule7 % int3)) ((triple3 triple5) -> (rule3 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((triple4 ((triple3 triple5) -> (rule7 % int4)) ((triple3 ((triple3 triple1 triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((triple4 ((triple3 ((triple3 triple1 triple4) -> (rule2 % int4))) -> (rule7 % int3)) ((triple3 triple5) -> (rule3 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((triple4 ((triple3 ((triple3 triple1 triple4) -> (rule2 % int4))) -> (rule7 % int3)) ((triple3 ((triple3 triple1 triple4) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is green.
True
13
proof
[(((triple3 ((triple3 triple5) -> rule7) ((triple4 ((triple3 triple5) -> rule7) ((triple3 triple5) -> rule3)) -> rule1)) -> rule6) OR ((triple3 ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule7) ((triple4 ((triple3 triple5) -> rule7) ((triple3 triple5) -> rule3)) -> rule1)) -> rule6) OR ((triple3 ((triple3 triple5) -> rule7) ((triple4 ((triple3 triple5) -> rule7) ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule3)) -> rule1)) -> rule6) OR ((triple3 ((triple3 triple5) -> rule7) ((triple4 ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule7) ((triple3 triple5) -> rule3)) -> rule1)) -> rule6) OR ((triple3 ((triple3 triple5) -> rule7) ((triple4 ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule7) ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule3)) -> rule1)) -> rule6) OR ((triple3 ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule7) ((triple4 ((triple3 triple5) -> rule7) ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule3)) -> rule1)) -> rule6) OR ((triple3 ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule7) ((triple4 ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule7) ((triple3 triple5) -> rule3)) -> rule1)) -> rule6) OR ((triple3 ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule7) ((triple4 ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule7) ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule3)) -> rule1)) -> rule6))]
("Bob" "is" "green" "+")
((triple3 ((triple3 triple5) -> (rule7 % int4)) ((triple4 ((triple3 triple5) -> (rule7 % int4)) ((triple3 triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((triple3 ((triple3 ((triple3 triple1 triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((triple4 ((triple3 triple5) -> (rule7 % int4)) ((triple3 triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((triple3 ((triple3 triple5) -> (rule7 % int5)) ((triple4 ((triple3 triple5) -> (rule7 % int5)) ((triple3 ((triple3 triple1 triple4) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((triple3 ((triple3 triple5) -> (rule7 % int5)) ((triple4 ((triple3 ((triple3 triple1 triple4) -> (rule2 % int4))) -> (rule7 % int5)) ((triple3 triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((triple3 ((triple3 triple5) -> (rule7 % int5)) ((triple4 ((triple3 ((triple3 triple1 triple4) -> (rule2 % int4))) -> (rule7 % int5)) ((triple3 ((triple3 triple1 triple4) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((triple3 ((triple3 ((triple3 triple1 triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((triple4 ((triple3 triple5) -> (rule7 % int4)) ((triple3 ((triple3 triple1 triple4) -> (rule2 % int5))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((triple3 ((triple3 ((triple3 triple1 triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((triple4 ((triple3 ((triple3 triple1 triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((triple3 triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((triple3 ((triple3 ((triple3 triple1 triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((triple4 ((triple3 ((triple3 triple1 triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((triple3 ((triple3 triple1 triple4) -> (rule2 % int5))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is not green.
False
13
inv-proof
[(((triple3 ((triple3 triple5) -> rule7) ((triple4 ((triple3 triple5) -> rule7) ((triple3 triple5) -> rule3)) -> rule1)) -> rule6) OR ((triple3 ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule7) ((triple4 ((triple3 triple5) -> rule7) ((triple3 triple5) -> rule3)) -> rule1)) -> rule6) OR ((triple3 ((triple3 triple5) -> rule7) ((triple4 ((triple3 triple5) -> rule7) ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule3)) -> rule1)) -> rule6) OR ((triple3 ((triple3 triple5) -> rule7) ((triple4 ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule7) ((triple3 triple5) -> rule3)) -> rule1)) -> rule6) OR ((triple3 ((triple3 triple5) -> rule7) ((triple4 ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule7) ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule3)) -> rule1)) -> rule6) OR ((triple3 ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule7) ((triple4 ((triple3 triple5) -> rule7) ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule3)) -> rule1)) -> rule6) OR ((triple3 ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule7) ((triple4 ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule7) ((triple3 triple5) -> rule3)) -> rule1)) -> rule6) OR ((triple3 ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule7) ((triple4 ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule7) ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule3)) -> rule1)) -> rule6))]
("Bob" "is" "green" "-")
((triple3 ((triple3 triple5) -> (rule7 % int4)) ((triple4 ((triple3 triple5) -> (rule7 % int4)) ((triple3 triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((triple3 ((triple3 ((triple3 triple1 triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((triple4 ((triple3 triple5) -> (rule7 % int4)) ((triple3 triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((triple3 ((triple3 triple5) -> (rule7 % int5)) ((triple4 ((triple3 triple5) -> (rule7 % int5)) ((triple3 ((triple3 triple1 triple4) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((triple3 ((triple3 triple5) -> (rule7 % int5)) ((triple4 ((triple3 ((triple3 triple1 triple4) -> (rule2 % int4))) -> (rule7 % int5)) ((triple3 triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((triple3 ((triple3 triple5) -> (rule7 % int5)) ((triple4 ((triple3 ((triple3 triple1 triple4) -> (rule2 % int4))) -> (rule7 % int5)) ((triple3 ((triple3 triple1 triple4) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((triple3 ((triple3 ((triple3 triple1 triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((triple4 ((triple3 triple5) -> (rule7 % int4)) ((triple3 ((triple3 triple1 triple4) -> (rule2 % int5))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((triple3 ((triple3 ((triple3 triple1 triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((triple4 ((triple3 ((triple3 triple1 triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((triple3 triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((triple3 ((triple3 ((triple3 triple1 triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((triple4 ((triple3 ((triple3 triple1 triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((triple3 ((triple3 triple1 triple4) -> (rule2 % int5))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "green" "-")
Eric is green.
Unknown
rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "green" "+")
Fred is not nice.
Unknown
inv-rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "nice" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "nice" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
@0: Bob is blue.[(triple5 OR ((triple3 triple1 triple4) -> rule2))] Bob is red.[(triple4)] Bob is rough.[(triple3)] Bob is round.[(triple2)] Bob is young.[(triple1)] Eric is blue.[(triple6)] Fred is cold.[(triple9 OR ((triple8) -> rule5))] Fred is green.[(triple8)] Fred is kind.[(triple7)] Gary is big.[(triple11)] Gary is cold.[(triple10)] @1: Bob is cold.[(((triple3 triple5) -> rule3) OR ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule3))] Bob is kind.[(((triple3 triple5) -> rule7) OR ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule7))] @2: Bob is nice.[(((triple4 ((triple3 triple5) -> rule7) ((triple3 triple5) -> rule3)) -> rule1) OR ((triple4 ((triple3 triple5) -> rule7) ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule3)) -> rule1) OR ((triple4 ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule7) ((triple3 triple5) -> rule3)) -> rule1) OR ((triple4 ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule7) ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule3)) -> rule1))] @3: Bob is green.[(((triple3 ((triple3 triple5) -> rule7) ((triple4 ((triple3 triple5) -> rule7) ((triple3 triple5) -> rule3)) -> rule1)) -> rule6) OR ((triple3 ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule7) ((triple4 ((triple3 triple5) -> rule7) ((triple3 triple5) -> rule3)) -> rule1)) -> rule6) OR ((triple3 ((triple3 triple5) -> rule7) ((triple4 ((triple3 triple5) -> rule7) ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule3)) -> rule1)) -> rule6) OR ((triple3 ((triple3 triple5) -> rule7) ((triple4 ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule7) ((triple3 triple5) -> rule3)) -> rule1)) -> rule6) OR ((triple3 ((triple3 triple5) -> rule7) ((triple4 ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule7) ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule3)) -> rule1)) -> rule6) OR ((triple3 ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule7) ((triple4 ((triple3 triple5) -> rule7) ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule3)) -> rule1)) -> rule6) OR ((triple3 ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule7) ((triple4 ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule7) ((triple3 triple5) -> rule3)) -> rule1)) -> rule6) OR ((triple3 ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule7) ((triple4 ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule7) ((triple3 ((triple3 triple1 triple4) -> rule2)) -> rule3)) -> rule1)) -> rule6))]
Bob is blue.
("Bob" "is" "blue" "+")
triple5
((triple3 triple1 triple4) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Fred is cold.
("Fred" "is" "cold" "+")
triple9
((triple8) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
triple8
Fred is kind.
("Fred" "is" "kind" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Bob is cold.
("Bob" "is" "cold" "+")
((triple3 triple5) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((triple3 ((triple3 triple1 triple4) -> (rule2 % int2))) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
((triple3 triple5) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple3 ((triple3 triple1 triple4) -> (rule2 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((triple4 ((triple3 triple5) -> (rule7 % int3)) ((triple3 triple5) -> (rule3 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((triple4 ((triple3 triple5) -> (rule7 % int4)) ((triple3 ((triple3 triple1 triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((triple4 ((triple3 ((triple3 triple1 triple4) -> (rule2 % int4))) -> (rule7 % int3)) ((triple3 triple5) -> (rule3 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((triple4 ((triple3 ((triple3 triple1 triple4) -> (rule2 % int4))) -> (rule7 % int3)) ((triple3 ((triple3 triple1 triple4) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
((triple3 ((triple3 triple5) -> (rule7 % int4)) ((triple4 ((triple3 triple5) -> (rule7 % int4)) ((triple3 triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((triple3 ((triple3 ((triple3 triple1 triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((triple4 ((triple3 triple5) -> (rule7 % int4)) ((triple3 triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((triple3 ((triple3 triple5) -> (rule7 % int5)) ((triple4 ((triple3 triple5) -> (rule7 % int5)) ((triple3 ((triple3 triple1 triple4) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((triple3 ((triple3 triple5) -> (rule7 % int5)) ((triple4 ((triple3 ((triple3 triple1 triple4) -> (rule2 % int4))) -> (rule7 % int5)) ((triple3 triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((triple3 ((triple3 triple5) -> (rule7 % int5)) ((triple4 ((triple3 ((triple3 triple1 triple4) -> (rule2 % int4))) -> (rule7 % int5)) ((triple3 ((triple3 triple1 triple4) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((triple3 ((triple3 ((triple3 triple1 triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((triple4 ((triple3 triple5) -> (rule7 % int4)) ((triple3 ((triple3 triple1 triple4) -> (rule2 % int5))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((triple3 ((triple3 ((triple3 triple1 triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((triple4 ((triple3 ((triple3 triple1 triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((triple3 triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((triple3 ((triple3 ((triple3 triple1 triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((triple4 ((triple3 ((triple3 triple1 triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((triple3 ((triple3 triple1 triple4) -> (rule2 % int5))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob plays rough and gets red in his round face,yet people know he is young and often blue.
Eric wears all blue.
Fred is a very kind, green but sometimes cold person.
Even though he's a big dude, Gary is cold.
A red colored person who is kind and feels cold is usually considered nice.
A young person with rough red skin is downhearted and blue.
Maybe someone is rough and blue with the cold.
You can tell if someone is big, kind, and young, then they are also nice.
People that feel green are cold to people that try to help them.
When you meet someone that's rough, kind and nice you'll see they are green as well.
If you find that someone has rough blue skin they are always kind.