Bob is rough and is blue, but that's because he's big and round in a small and square world. Gary was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure. Harry always goes out of his way to show that he is kind to people. People who are blue, cold, and round are often kind. Someone who is cold, big, and rough is always green, as a rule. A person that is blue green and nice are that way because they are still young. If you meet a person who is green, big and blue, you will find them to be nice. Looking blue can be a sign that someone is cold. Someone who is very rough and big in size, and also has a round physique tend to be very cold.
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is blue and cold and round then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and big and rough then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and green and nice then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and green and big then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue then they are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and big and round then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Bob is blue.
True
1
proof
[(triple3)]
("Bob" "is" "blue" "+")
triple3
Bob is not big.
False
1
inv-proof
[(triple4)]
("Bob" "is" "big" "-")
triple4
Gary is cold.
True
2
proof
[(((triple7) -> rule5))]
("Gary" "is" "cold" "+")
((triple7) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Bob is not cold.
False
2
inv-proof
[(((triple3) -> rule5) OR ((triple2 triple4 triple1) -> rule6))]
("Bob" "is" "cold" "-")
((triple3) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((triple2 triple4 triple1) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Gary is kind.
True
5
proof
[(((triple7 ((triple7) -> rule5) triple5) -> rule1))]
("Gary" "is" "kind" "+")
((triple7 ((triple7) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Bob is not green.
False
5
inv-proof
[(((((triple3) -> rule5) triple4 triple2) -> rule2) OR ((((triple2 triple4 triple1) -> rule6) triple4 triple2) -> rule2))]
("Bob" "is" "green" "-")
((((triple3) -> (rule5 % int2)) triple4 triple2) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple2 triple4 triple1) -> (rule6 % int2)) triple4 triple2) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
True
8
proof
[(((triple3 ((((triple3) -> rule5) triple4 triple2) -> rule2) triple4) -> rule4) OR ((triple3 ((((triple2 triple4 triple1) -> rule6) triple4 triple2) -> rule2) triple4) -> rule4))]
("Bob" "is" "nice" "+")
((triple3 ((((triple3) -> (rule5 % int3)) triple4 triple2) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((triple3 ((((triple2 triple4 triple1) -> (rule6 % int3)) triple4 triple2) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is not nice.
False
8
inv-proof
[(((triple3 ((((triple3) -> rule5) triple4 triple2) -> rule2) triple4) -> rule4) OR ((triple3 ((((triple2 triple4 triple1) -> rule6) triple4 triple2) -> rule2) triple4) -> rule4))]
("Bob" "is" "nice" "-")
((triple3 ((((triple3) -> (rule5 % int3)) triple4 triple2) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((triple3 ((((triple2 triple4 triple1) -> (rule6 % int3)) triple4 triple2) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
True
15
proof
[(((triple3 ((((triple3) -> rule5) triple4 triple2) -> rule2) ((triple3 ((((triple3) -> rule5) triple4 triple2) -> rule2) triple4) -> rule4)) -> rule3) OR ((triple3 ((((triple3) -> rule5) triple4 triple2) -> rule2) ((triple3 ((((triple2 triple4 triple1) -> rule6) triple4 triple2) -> rule2) triple4) -> rule4)) -> rule3) OR ((triple3 ((((triple2 triple4 triple1) -> rule6) triple4 triple2) -> rule2) ((triple3 ((((triple3) -> rule5) triple4 triple2) -> rule2) triple4) -> rule4)) -> rule3) OR ((triple3 ((((triple2 triple4 triple1) -> rule6) triple4 triple2) -> rule2) ((triple3 ((((triple2 triple4 triple1) -> rule6) triple4 triple2) -> rule2) triple4) -> rule4)) -> rule3))]
("Bob" "is" "young" "+")
((triple3 ((((triple3) -> (rule5 % int4)) triple4 triple2) -> (rule2 % int3)) ((triple3 ((((triple3) -> (rule5 % int4)) triple4 triple2) -> (rule2 % int3)) triple4) -> (rule4 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((triple3 ((((triple3) -> (rule5 % int4)) triple4 triple2) -> (rule2 % int3)) ((triple3 ((((triple2 triple4 triple1) -> (rule6 % int4)) triple4 triple2) -> (rule2 % int3)) triple4) -> (rule4 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((triple3 ((((triple2 triple4 triple1) -> (rule6 % int4)) triple4 triple2) -> (rule2 % int3)) ((triple3 ((((triple3) -> (rule5 % int4)) triple4 triple2) -> (rule2 % int3)) triple4) -> (rule4 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((triple3 ((((triple2 triple4 triple1) -> (rule6 % int4)) triple4 triple2) -> (rule2 % int3)) ((triple3 ((((triple2 triple4 triple1) -> (rule6 % int4)) triple4 triple2) -> (rule2 % int3)) triple4) -> (rule4 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is not young.
False
15
inv-proof
[(((triple3 ((((triple3) -> rule5) triple4 triple2) -> rule2) ((triple3 ((((triple3) -> rule5) triple4 triple2) -> rule2) triple4) -> rule4)) -> rule3) OR ((triple3 ((((triple3) -> rule5) triple4 triple2) -> rule2) ((triple3 ((((triple2 triple4 triple1) -> rule6) triple4 triple2) -> rule2) triple4) -> rule4)) -> rule3) OR ((triple3 ((((triple2 triple4 triple1) -> rule6) triple4 triple2) -> rule2) ((triple3 ((((triple3) -> rule5) triple4 triple2) -> rule2) triple4) -> rule4)) -> rule3) OR ((triple3 ((((triple2 triple4 triple1) -> rule6) triple4 triple2) -> rule2) ((triple3 ((((triple2 triple4 triple1) -> rule6) triple4 triple2) -> rule2) triple4) -> rule4)) -> rule3))]
("Bob" "is" "young" "-")
((triple3 ((((triple3) -> (rule5 % int4)) triple4 triple2) -> (rule2 % int3)) ((triple3 ((((triple3) -> (rule5 % int4)) triple4 triple2) -> (rule2 % int3)) triple4) -> (rule4 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((triple3 ((((triple3) -> (rule5 % int4)) triple4 triple2) -> (rule2 % int3)) ((triple3 ((((triple2 triple4 triple1) -> (rule6 % int4)) triple4 triple2) -> (rule2 % int3)) triple4) -> (rule4 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((triple3 ((((triple2 triple4 triple1) -> (rule6 % int4)) triple4 triple2) -> (rule2 % int3)) ((triple3 ((((triple3) -> (rule5 % int4)) triple4 triple2) -> (rule2 % int3)) triple4) -> (rule4 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((triple3 ((((triple2 triple4 triple1) -> (rule6 % int4)) triple4 triple2) -> (rule2 % int3)) ((triple3 ((((triple2 triple4 triple1) -> (rule6 % int4)) triple4 triple2) -> (rule2 % int3)) triple4) -> (rule4 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "young" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "nice" "+")
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "nice" "-")
Alan is young.
Unknown
rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "young" "+")
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "cold" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Bob is big.[(triple4)] Bob is blue.[(triple3)] Bob is rough.[(triple2)] Bob is round.[(triple1)] Gary is blue.[(triple7)] Gary is green.[(triple6)] Gary is round.[(triple5)] Harry is kind.[(triple8)] @1: Bob is cold.[(((triple3) -> rule5) OR ((triple2 triple4 triple1) -> rule6))] Gary is cold.[(((triple7) -> rule5))] @2: Bob is green.[(((((triple3) -> rule5) triple4 triple2) -> rule2) OR ((((triple2 triple4 triple1) -> rule6) triple4 triple2) -> rule2))] Bob is kind.[(((triple3 ((triple3) -> rule5) triple1) -> rule1) OR ((triple3 ((triple2 triple4 triple1) -> rule6) triple1) -> rule1))] Gary is kind.[(((triple7 ((triple7) -> rule5) triple5) -> rule1))] @3: Bob is nice.[(((triple3 ((((triple3) -> rule5) triple4 triple2) -> rule2) triple4) -> rule4) OR ((triple3 ((((triple2 triple4 triple1) -> rule6) triple4 triple2) -> rule2) triple4) -> rule4))] @4: Bob is young.[(((triple3 ((((triple3) -> rule5) triple4 triple2) -> rule2) ((triple3 ((((triple3) -> rule5) triple4 triple2) -> rule2) triple4) -> rule4)) -> rule3) OR ((triple3 ((((triple3) -> rule5) triple4 triple2) -> rule2) ((triple3 ((((triple2 triple4 triple1) -> rule6) triple4 triple2) -> rule2) triple4) -> rule4)) -> rule3) OR ((triple3 ((((triple2 triple4 triple1) -> rule6) triple4 triple2) -> rule2) ((triple3 ((((triple3) -> rule5) triple4 triple2) -> rule2) triple4) -> rule4)) -> rule3) OR ((triple3 ((((triple2 triple4 triple1) -> rule6) triple4 triple2) -> rule2) ((triple3 ((((triple2 triple4 triple1) -> rule6) triple4 triple2) -> rule2) triple4) -> rule4)) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple5
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Bob is cold.
("Bob" "is" "cold" "+")
((triple3) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((triple2 triple4 triple1) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple7) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((((triple3) -> (rule5 % int2)) triple4 triple2) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple2 triple4 triple1) -> (rule6 % int2)) triple4 triple2) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
((triple3 ((triple3) -> (rule5 % int2)) triple1) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((triple3 ((triple2 triple4 triple1) -> (rule6 % int2)) triple1) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((triple7 ((triple7) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((triple3 ((((triple3) -> (rule5 % int3)) triple4 triple2) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((triple3 ((((triple2 triple4 triple1) -> (rule6 % int3)) triple4 triple2) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
((triple3 ((((triple3) -> (rule5 % int4)) triple4 triple2) -> (rule2 % int3)) ((triple3 ((((triple3) -> (rule5 % int4)) triple4 triple2) -> (rule2 % int3)) triple4) -> (rule4 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((triple3 ((((triple3) -> (rule5 % int4)) triple4 triple2) -> (rule2 % int3)) ((triple3 ((((triple2 triple4 triple1) -> (rule6 % int4)) triple4 triple2) -> (rule2 % int3)) triple4) -> (rule4 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((triple3 ((((triple2 triple4 triple1) -> (rule6 % int4)) triple4 triple2) -> (rule2 % int3)) ((triple3 ((((triple3) -> (rule5 % int4)) triple4 triple2) -> (rule2 % int3)) triple4) -> (rule4 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((triple3 ((((triple2 triple4 triple1) -> (rule6 % int4)) triple4 triple2) -> (rule2 % int3)) ((triple3 ((((triple2 triple4 triple1) -> (rule6 % int4)) triple4 triple2) -> (rule2 % int3)) triple4) -> (rule4 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is rough and is blue, but that's because he's big and round in a small and square world.
Gary was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure.
Harry always goes out of his way to show that he is kind to people.
People who are blue, cold, and round are often kind.
Someone who is cold, big, and rough is always green, as a rule.
A person that is blue green and nice are that way because they are still young.
If you meet a person who is green, big and blue, you will find them to be nice.
Looking blue can be a sign that someone is cold.
Someone who is very rough and big in size, and also has a round physique tend to be very cold.