Bob is a very kind, green but sometimes cold person. Charlie is a person both green and big. When you talk about Eric, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone. Fred is blue from ink he spilled on himself while being kind and helping some children paint. A rough textured and cold person is definitely young. When anyone can be described as nice, young and big, they can also be described as red. It seems to be that a person who is green, red, and blue will be very big. A nice young person who is rough around the edges is big. Anybody with rough, kind and blue aspects will certainly be cold, too. If someone is feeling blue and round in shape they are usually nice. Green people who are nice are rough.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is rough and cold then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and big and young then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is red and blue and green then they are big.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is young and nice and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and kind and blue then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and round then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Eric is rough.
True
1
proof
[(triple6)]
("Eric" "is" "rough" "+")
triple6
Charlie is not green.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "green" "-")
triple4
Eric is young.
True
3
proof
[(((triple6 triple8) -> rule1))]
("Eric" "is" "young" "+")
((triple6 triple8) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is not young.
False
3
inv-proof
[(((triple6 triple8) -> rule1))]
("Eric" "is" "young" "-")
((triple6 triple8) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is big.
True
6
proof
[(((((triple6 triple8) -> rule1) triple7 triple6) -> rule4))]
("Eric" "is" "big" "+")
((((triple6 triple8) -> (rule1 % int2)) triple7 triple6) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is not big.
False
6
inv-proof
[(((((triple6 triple8) -> rule1) triple7 triple6) -> rule4))]
("Eric" "is" "big" "-")
((((triple6 triple8) -> (rule1 % int2)) triple7 triple6) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is red.
True
11
proof
[(((triple7 ((((triple6 triple8) -> rule1) triple7 triple6) -> rule4) ((triple6 triple8) -> rule1)) -> rule2))]
("Eric" "is" "red" "+")
((triple7 ((((triple6 triple8) -> (rule1 % int3)) triple7 triple6) -> (rule4 % int2)) ((triple6 triple8) -> (rule1 % int3))) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is not red.
False
11
inv-proof
[(((triple7 ((((triple6 triple8) -> rule1) triple7 triple6) -> rule4) ((triple6 triple8) -> rule1)) -> rule2))]
("Eric" "is" "red" "-")
((triple7 ((((triple6 triple8) -> (rule1 % int3)) triple7 triple6) -> (rule4 % int2)) ((triple6 triple8) -> (rule1 % int3))) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Fred is not red.
Unknown
inv-rconc
[@2: Fred is red.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Fred" "is" "red" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "nice" "+")
Charlie is not rough.
Unknown
inv-rconc
[@2: Charlie is rough.[CWA. Example of deepest failure = (rule7 <- rule6 <- FAIL)]]
("Charlie" "is" "rough" "-")
Bob is young.
Unknown
rconc
[@3: Bob is young.[CWA. Example of deepest failure = (rule1 <- rule7 <- rule6 <- FAIL)]]
("Bob" "is" "young" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is cold.[(triple3)] Bob is green.[(triple2)] Bob is kind.[(triple1)] Charlie is big.[(triple5)] Charlie is green.[(triple4)] Eric is cold.[(triple8)] Eric is nice.[(triple7)] Eric is rough.[(triple6)] Fred is blue.[(triple10)] Fred is kind.[(triple9)] @1: Eric is young.[(((triple6 triple8) -> rule1))] @2: Eric is big.[(((((triple6 triple8) -> rule1) triple7 triple6) -> rule4))] @3: Eric is red.[(((triple7 ((((triple6 triple8) -> rule1) triple7 triple6) -> rule4) ((triple6 triple8) -> rule1)) -> rule2))]
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Eric is cold.
("Eric" "is" "cold" "+")
triple8
Eric is nice.
("Eric" "is" "nice" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Fred is blue.
("Fred" "is" "blue" "+")
triple10
Fred is kind.
("Fred" "is" "kind" "+")
triple9
Eric is young.
("Eric" "is" "young" "+")
((triple6 triple8) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
((((triple6 triple8) -> (rule1 % int2)) triple7 triple6) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
((triple7 ((((triple6 triple8) -> (rule1 % int3)) triple7 triple6) -> (rule4 % int2)) ((triple6 triple8) -> (rule1 % int3))) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Bob is a very kind, green but sometimes cold person.
Charlie is a person both green and big.
When you talk about Eric, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone.
Fred is blue from ink he spilled on himself while being kind and helping some children paint.
A rough textured and cold person is definitely young.
When anyone can be described as nice, young and big, they can also be described as red.
It seems to be that a person who is green, red, and blue will be very big.
A nice young person who is rough around the edges is big.
Anybody with rough, kind and blue aspects will certainly be cold, too.
If someone is feeling blue and round in shape they are usually nice.
Green people who are nice are rough.