Alan is very nice to people, but he's also rather big. Charlie is very young to be a nurse but he loves helping others because he is so nice and kind. They always call him rough Fred. Gary is nice person, who was red colored due to a sunburn, was feeling rough because he is cold. A big person who is red and nice to others is also young. Most of the people that are big and nice with green eyes, will be round. Because of circulation issues big people are often cold. If they are also green then they are certainly young. Anyone who is round and also cold will surely be big as well. Get a rather green person who is both nice, but cold to others, then they are certain to be round. A person that is the color red will definitely be round shaped. A red and green colored person who is cold will be round shaped.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is red and nice and big then they are young.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is big and nice and green then they are round.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and green and big then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is round and cold then they are big.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and green and cold then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is red then they are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is red and cold and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Fred is rough.
True
1
proof
[(triple6)]
("Fred" "is" "rough" "+")
triple6
Gary is not red.
False
1
inv-proof
[(triple8)]
("Gary" "is" "red" "-")
triple8
Gary is round.
True
2
proof
[(((triple8) -> rule6))]
("Gary" "is" "round" "+")
((triple8) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
2
inv-proof
[(((triple8) -> rule6))]
("Gary" "is" "round" "-")
((triple8) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is big.
True
4
proof
[(((((triple8) -> rule6) triple10) -> rule4))]
("Gary" "is" "big" "+")
((((triple8) -> (rule6 % int2)) triple10) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is not big.
False
4
inv-proof
[(((((triple8) -> rule6) triple10) -> rule4))]
("Gary" "is" "big" "-")
((((triple8) -> (rule6 % int2)) triple10) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
True
7
proof
[(((triple8 triple9 ((((triple8) -> rule6) triple10) -> rule4)) -> rule1))]
("Gary" "is" "young" "+")
((triple8 triple9 ((((triple8) -> (rule6 % int3)) triple10) -> (rule4 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is not young.
False
7
inv-proof
[(((triple8 triple9 ((((triple8) -> rule6) triple10) -> rule4)) -> rule1))]
("Gary" "is" "young" "-")
((triple8 triple9 ((((triple8) -> (rule6 % int3)) triple10) -> (rule4 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "round" "-")
Alan is young.
Unknown
rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "young" "+")
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "big" "-")
Alan is round.
Unknown
rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "round" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Alan is big.[(triple2)] Alan is nice.[(triple1)] Charlie is kind.[(triple5)] Charlie is nice.[(triple4)] Charlie is young.[(triple3)] Fred is rough.[(triple6)] Gary is cold.[(triple10)] Gary is nice.[(triple9)] Gary is red.[(triple8)] Gary is rough.[(triple7)] @1: Gary is round.[(((triple8) -> rule6))] @2: Gary is big.[(((((triple8) -> rule6) triple10) -> rule4))] @3: Gary is young.[(((triple8 triple9 ((((triple8) -> rule6) triple10) -> rule4)) -> rule1))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
((triple8) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((((triple8) -> (rule6 % int2)) triple10) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((triple8 triple9 ((((triple8) -> (rule6 % int3)) triple10) -> (rule4 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Alan is very nice to people, but he's also rather big.
Charlie is very young to be a nurse but he loves helping others because he is so nice and kind.
They always call him rough Fred.
Gary is nice person, who was red colored due to a sunburn, was feeling rough because he is cold.
A big person who is red and nice to others is also young.
Most of the people that are big and nice with green eyes, will be round.
Because of circulation issues big people are often cold; If they are also green then they are certainly young.
Anyone who is round and also cold will surely be big as well.
Get a rather green person who is both nice, but cold to others, then they are certain to be round.
A person that is the color red will definitely be round shaped.
A red and green colored person who is cold will be round shaped.