Alan who is considered nice was feeling rather rough today. That Eric is as round and red as a cherry, and twice as kind. That rough but kind guy is Fred, the green one. Gary was born only a few years ago so he is young. Cold and rough people will also surely be round shaped. It seems to be that a person who is green, red, and blue will be very big. If the person is big and cold then as a rule they must be green. People that feel green are cold to people that try to help them. I have noticed that nice people that are green and blue are often round-shaped. Whenever somebody can be described as rough, round and cold, they can also be described as young. Generally, round and kind people are big.
If someone is cold and rough then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
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 big and cold then they are green.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and green and blue then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and rough and round then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is round and kind then they are big.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Eric is kind.
True
1
proof
[(triple5)]
("Eric" "is" "kind" "+")
triple5
Fred is not kind.
False
1
inv-proof
[(triple7)]
("Fred" "is" "kind" "-")
triple7
Eric is big.
True
3
proof
[(((triple3 triple5) -> rule7))]
("Eric" "is" "big" "+")
((triple3 triple5) -> (rule7 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Fred is not cold.
False
2
inv-proof
[(((triple8) -> rule4))]
("Fred" "is" "cold" "-")
((triple8) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is round.
True
4
proof
[(((((triple8) -> rule4) triple6) -> rule1))]
("Fred" "is" "round" "+")
((((triple8) -> (rule4 % int2)) triple6) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is not round.
False
4
inv-proof
[(((((triple8) -> rule4) triple6) -> rule1))]
("Fred" "is" "round" "-")
((((triple8) -> (rule4 % int2)) triple6) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is young.
True
8
proof
[(((((triple8) -> rule4) triple6 ((((triple8) -> rule4) triple6) -> rule1)) -> rule6))]
("Fred" "is" "young" "+")
((((triple8) -> (rule4 % int3)) triple6 ((((triple8) -> (rule4 % int3)) triple6) -> (rule1 % int2))) -> (rule6 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is not young.
False
8
inv-proof
[(((((triple8) -> rule4) triple6 ((((triple8) -> rule4) triple6) -> rule1)) -> rule6))]
("Fred" "is" "young" "-")
((((triple8) -> (rule4 % int3)) triple6 ((((triple8) -> (rule4 % int3)) triple6) -> (rule1 % int2))) -> (rule6 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "big" "-")
Gary is green.
Unknown
rconc
[@2: Gary is green.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Gary" "is" "green" "+")
Alan is not big.
Unknown
inv-rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "big" "-")
Eric is green.
Unknown
rconc
[@2: Eric is green.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Eric" "is" "green" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
@0: Alan is nice.[(triple2)] Alan is rough.[(triple1)] Eric is kind.[(triple5)] Eric is red.[(triple4)] Eric is round.[(triple3)] Fred is green.[(triple8)] Fred is kind.[(triple7)] Fred is rough.[(triple6)] Gary is young.[(triple9)] @1: Eric is big.[(((triple3 triple5) -> rule7))] Fred is cold.[(((triple8) -> rule4))] @2: Fred is round.[(((((triple8) -> rule4) triple6) -> rule1))] @3: Fred is big.[(((((((triple8) -> rule4) triple6) -> rule1) triple7) -> rule7))] Fred is young.[(((((triple8) -> rule4) triple6 ((((triple8) -> rule4) triple6) -> rule1)) -> rule6))]
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Eric is kind.
("Eric" "is" "kind" "+")
triple5
Eric is red.
("Eric" "is" "red" "+")
triple4
Eric is round.
("Eric" "is" "round" "+")
triple3
Fred is green.
("Fred" "is" "green" "+")
triple8
Fred is kind.
("Fred" "is" "kind" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple9
Eric is big.
("Eric" "is" "big" "+")
((triple3 triple5) -> (rule7 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((triple8) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
((((triple8) -> (rule4 % int2)) triple6) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
((((((triple8) -> (rule4 % int3)) triple6) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
((((triple8) -> (rule4 % int3)) triple6 ((((triple8) -> (rule4 % int3)) triple6) -> (rule1 % int2))) -> (rule6 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Alan who is considered nice was feeling rather rough today.
That Eric is as round and red as a cherry, and twice as kind.
That rough but kind guy is Fred, the green one.
Gary was born only a few years ago so he is young.
Cold and rough people will also surely be round shaped.
It seems to be that a person who is green, red, and blue will be very big.
If the person is big and cold then as a rule they must be green.
People that feel green are cold to people that try to help them.
I have noticed that nice people that are green and blue are often round-shaped.
Whenever somebody can be described as rough, round and cold, they can also be described as young.
Generally, round and kind people are big.