Bob wears all blue. Dave was born only a few years ago so he is young. Gary looks to be red, green, and blue, he is also round and rough. The big, round, blue guy is Harry. He's kind but rather rough. You'll always find a young, kind and red person to be a cold person, too. Big and green people who feel cold are usually young in age. Rough people are often always nice. A big blue someone could also be green. Green people here that are also round and nice are always rough. Among the green people who are young, the color blue is always part of them. A human being described as rough, nice and round will also fit the description of being cold.
Bob is blue.
("Bob" "is" "blue" "+")
Dave is young.
("Dave" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is kind and young and red then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and big and cold then they are young.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is rough then they are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and round and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and young then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and round and nice then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Gary is round.
True
1
proof
[(triple3)]
("Gary" "is" "round" "+")
triple3
Harry is not blue.
False
1
inv-proof
[(triple11)]
("Harry" "is" "blue" "-")
triple11
Harry is nice.
True
2
proof
[(((triple9) -> rule3))]
("Harry" "is" "nice" "+")
((triple9) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not green.
False
3
inv-proof
[(((triple11 triple12) -> rule4))]
("Harry" "is" "green" "-")
((triple11 triple12) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Gary is cold.
True
5
proof
[(((triple4 triple3 ((triple4) -> rule3)) -> rule7))]
("Gary" "is" "cold" "+")
((triple4 triple3 ((triple4) -> (rule3 % int2))) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Harry is not cold.
False
5
inv-proof
[(((triple9 triple8 ((triple9) -> rule3)) -> rule7))]
("Harry" "is" "cold" "-")
((triple9 triple8 ((triple9) -> (rule3 % int2))) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
True
10
proof
[(((((triple11 triple12) -> rule4) triple12 ((triple9 triple8 ((triple9) -> rule3)) -> rule7)) -> rule2))]
("Harry" "is" "young" "+")
((((triple11 triple12) -> (rule4 % int4)) triple12 ((triple9 triple8 ((triple9) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is not young.
False
10
inv-proof
[(((((triple11 triple12) -> rule4) triple12 ((triple9 triple8 ((triple9) -> rule3)) -> rule7)) -> rule2))]
("Harry" "is" "young" "-")
((((triple11 triple12) -> (rule4 % int4)) triple12 ((triple9 triple8 ((triple9) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "cold" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "green" "+")
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "rough" "-")
Dave is green.
Unknown
rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "green" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is blue.[(triple1)] Dave is young.[(triple2)] Gary is blue.[(triple7)] Gary is green.[(triple6)] Gary is red.[(triple5)] Gary is rough.[(triple4)] Gary is round.[(triple3)] Harry is big.[(triple12)] Harry is blue.[(triple11)] Harry is kind.[(triple10)] Harry is rough.[(triple9)] Harry is round.[(triple8)] @1: Gary is nice.[(((triple4) -> rule3))] Harry is green.[(((triple11 triple12) -> rule4))] Harry is nice.[(((triple9) -> rule3))] @2: Gary is cold.[(((triple4 triple3 ((triple4) -> rule3)) -> rule7))] Harry is cold.[(((triple9 triple8 ((triple9) -> rule3)) -> rule7))] @3: Harry is young.[(((((triple11 triple12) -> rule4) triple12 ((triple9 triple8 ((triple9) -> rule3)) -> rule7)) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Dave is young.
("Dave" "is" "young" "+")
triple2
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple4
Gary is round.
("Gary" "is" "round" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
((triple4) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple11 triple12) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple9) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple4 triple3 ((triple4) -> (rule3 % int2))) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((triple9 triple8 ((triple9) -> (rule3 % int2))) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((((triple11 triple12) -> (rule4 % int4)) triple12 ((triple9 triple8 ((triple9) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Bob wears all blue.
Dave was born only a few years ago so he is young.
Gary looks to be red, green, and blue, he is also round and rough.
The big, round, blue guy is Harry; He's kind but rather rough.
You'll always find a young, kind and red person to be a cold person, too.
Big and green people who feel cold are usually young in age.
Rough people are often always nice.
A big blue someone could also be green.
Green people here that are also round and nice are always rough.
Among the green people who are young, the color blue is always part of them.
A human being described as rough, nice and round will also fit the description of being cold.