Charlie is young but big for his age. Charlie wasn't feeling well so he is a little green. Dave who is considered nice was feeling rather rough today. That man standing next to you with a big round body goes by the name of Gary. Harry is big and red, but he's young and will grow out of it. Kind young people are red. A person who is nice and green with envy is round. A nice and colored blue person will be rather big. Among the green people who are young, the color blue is always part of them. I've noticed that big people with blue and green skin tend to be young. It's just a fact that a blue person is a kind person. Somebody having round, cold and kind traits is also sure to be young.
If someone is kind and young then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and green then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and nice then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is green and young then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and big and blue then they are young.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is blue then they are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and kind and cold then they are young.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
Gary is big.
True
1
proof
[(triple7)]
("Gary" "is" "big" "+")
triple7
Harry is not young.
False
1
inv-proof
[(triple8)]
("Harry" "is" "young" "-")
triple8
Charlie is blue.
True
3
proof
[(((triple2 triple1) -> rule4))]
("Charlie" "is" "blue" "+")
((triple2 triple1) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is not blue.
False
3
inv-proof
[(((triple2 triple1) -> rule4))]
("Charlie" "is" "blue" "-")
((triple2 triple1) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
True
4
proof
[(((((triple2 triple1) -> rule4)) -> rule6))]
("Charlie" "is" "kind" "+")
((((triple2 triple1) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is not kind.
False
4
inv-proof
[(((((triple2 triple1) -> rule4)) -> rule6))]
("Charlie" "is" "kind" "-")
((((triple2 triple1) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is red.
True
6
proof
[(((((((triple2 triple1) -> rule4)) -> rule6) triple1) -> rule1))]
("Charlie" "is" "red" "+")
((((((triple2 triple1) -> (rule4 % int3))) -> (rule6 % int2)) triple1) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is not red.
False
6
inv-proof
[(((((((triple2 triple1) -> rule4)) -> rule6) triple1) -> rule1))]
("Charlie" "is" "red" "-")
((((((triple2 triple1) -> (rule4 % int3))) -> (rule6 % int2)) triple1) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Gary is not red.
Unknown
inv-rconc
[@2: Gary is red.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Gary" "is" "red" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "young" "+")
Dave is not big.
Unknown
inv-rconc
[@2: Dave is big.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Dave" "is" "big" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "round" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Charlie is big.[(triple3)] Charlie is green.[(triple2)] Charlie is young.[(triple1)] Dave is nice.[(triple5)] Dave is rough.[(triple4)] Gary is big.[(triple7)] Gary is round.[(triple6)] Harry is big.[(triple10)] Harry is red.[(triple9)] Harry is young.[(triple8)] @1: Charlie is blue.[(((triple2 triple1) -> rule4))] @2: Charlie is kind.[(((((triple2 triple1) -> rule4)) -> rule6))] @3: Charlie is red.[(((((((triple2 triple1) -> rule4)) -> rule6) triple1) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple2 triple1) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((((triple2 triple1) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
((((((triple2 triple1) -> (rule4 % int3))) -> (rule6 % int2)) triple1) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young but big for his age; Charlie wasn't feeling well so he is a little green.
Dave who is considered nice was feeling rather rough today.
That man standing next to you with a big round body goes by the name of Gary.
Harry is big and red, but he's young and will grow out of it.
Kind young people are red.
A person who is nice and green with envy is round.
A nice and colored blue person will be rather big.
Among the green people who are young, the color blue is always part of them.
I've noticed that big people with blue and green skin tend to be young.
It's just a fact that a blue person is a kind person.
Somebody having round, cold and kind traits is also sure to be young.