Eric is rough and cold, but he's young and will get over it. Young Fred is wearing green pants. Young Gary is a big, cold, rough person. My friend Harry is very young. People say he is nice for having a round shape. Pick someone blue, kind and big, and they are certain to be green as well. When you meet someone that's rough, kind and nice you'll see they are green as well. Big people that have a rough demeanor usually feel blue. A big person that is tattooed blue will be very nice. An individual who is big and nice is also green. If you run into a cold and kind person, they are always big.
If someone is blue and kind and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and kind and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is big and rough then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and blue then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and nice then they are green.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and kind then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Gary is young.
True
1
proof
[(triple6)]
("Gary" "is" "young" "+")
triple6
Eric is not rough.
False
1
inv-proof
[(triple2)]
("Eric" "is" "rough" "-")
triple2
Gary is blue.
True
3
proof
[(((triple9 triple7) -> rule3))]
("Gary" "is" "blue" "+")
((triple9 triple7) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is not blue.
False
3
inv-proof
[(((triple9 triple7) -> rule3))]
("Gary" "is" "blue" "-")
((triple9 triple7) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
True
5
proof
[(((triple9 ((triple9 triple7) -> rule3)) -> rule4))]
("Gary" "is" "nice" "+")
((triple9 ((triple9 triple7) -> (rule3 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is not nice.
False
5
inv-proof
[(((triple9 ((triple9 triple7) -> rule3)) -> rule4))]
("Gary" "is" "nice" "-")
((triple9 ((triple9 triple7) -> (rule3 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
True
7
proof
[(((triple9 ((triple9 ((triple9 triple7) -> rule3)) -> rule4)) -> rule5))]
("Gary" "is" "green" "+")
((triple9 ((triple9 ((triple9 triple7) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is not green.
False
7
inv-proof
[(((triple9 ((triple9 ((triple9 triple7) -> rule3)) -> rule4)) -> rule5))]
("Gary" "is" "green" "-")
((triple9 ((triple9 ((triple9 triple7) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Fred is not nice.
Unknown
inv-rconc
[@2: Fred is nice.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Fred" "is" "nice" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "big" "+")
Eric is not blue.
Unknown
inv-rconc
[@2: Eric is blue.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Eric" "is" "blue" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "big" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Eric is cold.[(triple3)] Eric is rough.[(triple2)] Eric is young.[(triple1)] Fred is green.[(triple5)] Fred is young.[(triple4)] Gary is big.[(triple9)] Gary is cold.[(triple8)] Gary is rough.[(triple7)] Gary is young.[(triple6)] Harry is nice.[(triple12)] Harry is round.[(triple11)] Harry is young.[(triple10)] @1: Gary is blue.[(((triple9 triple7) -> rule3))] @2: Gary is nice.[(((triple9 ((triple9 triple7) -> rule3)) -> rule4))] @3: Gary is green.[(((triple9 ((triple9 ((triple9 triple7) -> rule3)) -> rule4)) -> rule5))]
Eric is cold.
("Eric" "is" "cold" "+")
triple3
Eric is rough.
("Eric" "is" "rough" "+")
triple2
Eric is young.
("Eric" "is" "young" "+")
triple1
Fred is green.
("Fred" "is" "green" "+")
triple5
Fred is young.
("Fred" "is" "young" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
triple12
Harry is round.
("Harry" "is" "round" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple10
Gary is blue.
("Gary" "is" "blue" "+")
((triple9 triple7) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple9 ((triple9 triple7) -> (rule3 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((triple9 ((triple9 ((triple9 triple7) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Eric is rough and cold, but he's young and will get over it.
Young Fred is wearing green pants.
Young Gary is a big, cold, rough person.
My friend Harry is very young; People say he is nice for having a round shape.
Pick someone blue, kind and big, and they are certain to be green as well.
When you meet someone that's rough, kind and nice you'll see they are green as well.
Big people that have a rough demeanor usually feel blue.
A big person that is tattooed blue will be very nice.
An individual who is big and nice is also green.
If you run into a cold and kind person, they are always big.