In the snow sits Bob, crying from being cold. Fred is round shaped and green colored. Gary is young and nice, but when he's feeling blue, he can also be quite cold to people. Because Harry is so young, he is rough and cold when he can be round instead. People who are round, blue and cold are usually nice. A person who is described as young and cold, but also described as rough is nice. Among the green people who are young, the color blue is always part of them. Big, red things tend to have a kind spirit to them. A person who is very round is nice but also quite rough. Ifa blue and green colored person is rough then they must be big shaped. John is round and rough, meaning that he is someone that is seen as green.
Bob is cold.
("Bob" "is" "cold" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is round and blue and cold then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and cold and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and young then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and big then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and nice then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and green and rough then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is round and rough then they are green.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
Gary is cold.
True
1
proof
[(triple6)]
("Gary" "is" "cold" "+")
triple6
Harry is not young.
False
1
inv-proof
[(triple8)]
("Harry" "is" "young" "-")
triple8
Harry is nice.
True
4
proof
[(((triple8 triple11 triple10) -> rule2) OR ((triple9 ((((triple9 triple10) -> rule7) triple8) -> rule3) triple11) -> rule1))]
("Harry" "is" "nice" "+")
((triple8 triple11 triple10) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((triple9 ((((triple9 triple10) -> (rule7 % int3)) triple8) -> (rule3 % int2)) triple11) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is not green.
False
3
inv-proof
[(((triple9 triple10) -> rule7))]
("Harry" "is" "green" "-")
((triple9 triple10) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
True
5
proof
[(((((triple9 triple10) -> rule7) triple8) -> rule3))]
("Harry" "is" "blue" "+")
((((triple9 triple10) -> (rule7 % int2)) triple8) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is not blue.
False
5
inv-proof
[(((((triple9 triple10) -> rule7) triple8) -> rule3))]
("Harry" "is" "blue" "-")
((((triple9 triple10) -> (rule7 % int2)) triple8) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
True
10
proof
[(((((((triple9 triple10) -> rule7) triple8) -> rule3) ((triple9 triple10) -> rule7) triple10) -> rule6))]
("Harry" "is" "big" "+")
((((((triple9 triple10) -> (rule7 % int3)) triple8) -> (rule3 % int2)) ((triple9 triple10) -> (rule7 % int3)) triple10) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is not big.
False
10
inv-proof
[(((((((triple9 triple10) -> rule7) triple8) -> rule3) ((triple9 triple10) -> rule7) triple10) -> rule6))]
("Harry" "is" "big" "-")
((((((triple9 triple10) -> (rule7 % int3)) triple8) -> (rule3 % int2)) ((triple9 triple10) -> (rule7 % int3)) triple10) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Fred is not big.
Unknown
inv-rconc
[@2: Fred is big.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Fred" "is" "big" "-")
Gary is big.
Unknown
rconc
[@2: Gary is big.[CWA. Example of deepest failure = (rule6 <- rule7 <- FAIL)]]
("Gary" "is" "big" "+")
Fred is not kind.
Unknown
inv-rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "kind" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "nice" "+")
Fred is not young.
Unknown
inv-random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "-")
Fred is cold.
Unknown
random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is cold.[(triple1)] Fred is green.[(triple3)] Fred is round.[(triple2)] Gary is blue.[(triple7)] Gary is cold.[(triple6)] Gary is nice.[(triple5)] Gary is young.[(triple4)] Harry is cold.[(triple11)] Harry is rough.[(triple10)] Harry is round.[(triple9)] Harry is young.[(triple8)] @1: Harry is green.[(((triple9 triple10) -> rule7))] Harry is nice.[(((triple8 triple11 triple10) -> rule2) OR ((triple9 ((((triple9 triple10) -> rule7) triple8) -> rule3) triple11) -> rule1))] @2: Harry is blue.[(((((triple9 triple10) -> rule7) triple8) -> rule3))] @3: Harry is big.[(((((((triple9 triple10) -> rule7) triple8) -> rule3) ((triple9 triple10) -> rule7) triple10) -> rule6))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Fred is green.
("Fred" "is" "green" "+")
triple3
Fred is round.
("Fred" "is" "round" "+")
triple2
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple5
Gary is young.
("Gary" "is" "young" "+")
triple4
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
((triple9 triple10) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple8 triple11 triple10) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((triple9 ((((triple9 triple10) -> (rule7 % int3)) triple8) -> (rule3 % int2)) triple11) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
((((triple9 triple10) -> (rule7 % int2)) triple8) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((((((triple9 triple10) -> (rule7 % int3)) triple8) -> (rule3 % int2)) ((triple9 triple10) -> (rule7 % int3)) triple10) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
In the snow sits Bob, crying from being cold.
Fred is round shaped and green colored.
Gary is young and nice, but when he's feeling blue, he can also be quite cold to people.
Because Harry is so young, he is rough and cold when he can be round instead.
People who are round, blue and cold are usually nice.
A person who is described as young and cold, but also described as rough is nice.
Among the green people who are young, the color blue is always part of them.
Big, red things tend to have a kind spirit to them.
A person who is very round is nice but also quite rough.
Ifa blue and green colored person is rough then they must be big shaped.
John is round and rough, meaning that he is someone that is seen as green.