Young Eric got into a fight that left him with red sores on his face. Fred is round shaped and green colored. Being young, Gary is still green and blue. It's a fact that young people are red people. Cold people with rough, green skin are young. Blue and red people are often rough. People,though rough and red,tend to be cold too. Someone nice and kind with a round belly that shakes when they laugh will also have rough hands from spending time outdoors with the reindeer. Invariably, any young person whose skin appears rough and green is bound to be quite big. When someone is rough like sandpaper and young like a tadpole they are always round.
Eric is young.
("Eric" "is" "young" "+")
Eric is red.
("Eric" "is" "red" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and rough and green then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and round and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and green and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and young then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Gary is young.
True
1
proof
[(triple5)]
("Gary" "is" "young" "+")
triple5
Eric is not young.
False
1
inv-proof
[(triple1)]
("Eric" "is" "young" "-")
triple1
Gary is red.
True
2
proof
[(((triple5) -> rule1))]
("Gary" "is" "red" "+")
((triple5) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is not red.
False
2
inv-proof
[(((triple5) -> rule1))]
("Gary" "is" "red" "-")
((triple5) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
True
4
proof
[(((triple7 ((triple5) -> rule1)) -> rule3))]
("Gary" "is" "rough" "+")
((triple7 ((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is not rough.
False
4
inv-proof
[(((triple7 ((triple5) -> rule1)) -> rule3))]
("Gary" "is" "rough" "-")
((triple7 ((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
True
7
proof
[(((triple5 triple6 ((triple7 ((triple5) -> rule1)) -> rule3)) -> rule6))]
("Gary" "is" "big" "+")
((triple5 triple6 ((triple7 ((triple5) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is not round.
False
6
inv-proof
[(((((triple7 ((triple5) -> rule1)) -> rule3) triple5) -> rule7))]
("Gary" "is" "round" "-")
((((triple7 ((triple5) -> (rule1 % int3))) -> (rule3 % int2)) triple5) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Fred is not red.
Unknown
inv-rconc
[@3: Fred is red.[CWA. Example of deepest failure = (rule1 <- rule2 <- rule4 <- FAIL)]]
("Fred" "is" "red" "-")
Eric is rough.
Unknown
rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "rough" "+")
Fred is not young.
Unknown
inv-rconc
[@2: Fred is young.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Fred" "is" "young" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "big" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
@0: Eric is red.[(triple2 OR ((triple1) -> rule1))] Eric is young.[(triple1)] Fred is green.[(triple4)] Fred is round.[(triple3)] Gary is blue.[(triple7)] Gary is green.[(triple6)] Gary is young.[(triple5)] @1: Gary is red.[(((triple5) -> rule1))] @2: Gary is rough.[(((triple7 ((triple5) -> rule1)) -> rule3))] @3: Gary is big.[(((triple5 triple6 ((triple7 ((triple5) -> rule1)) -> rule3)) -> rule6))] Gary is cold.[(((((triple7 ((triple5) -> rule1)) -> rule3) ((triple5) -> rule1)) -> rule4))] Gary is round.[(((((triple7 ((triple5) -> rule1)) -> rule3) triple5) -> rule7))]
Eric is red.
("Eric" "is" "red" "+")
triple2
((triple1) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
triple1
Fred is green.
("Fred" "is" "green" "+")
triple4
Fred is round.
("Fred" "is" "round" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple5
Gary is red.
("Gary" "is" "red" "+")
((triple5) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple7 ((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((triple5 triple6 ((triple7 ((triple5) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
((((triple7 ((triple5) -> (rule1 % int3))) -> (rule3 % int2)) ((triple5) -> (rule1 % int3))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
((((triple7 ((triple5) -> (rule1 % int3))) -> (rule3 % int2)) triple5) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Young Eric got into a fight that left him with red sores on his face.
Fred is round shaped and green colored.
Being young, Gary is still green and blue.
It's a fact that young people are red people.
Cold people with rough, green skin are young.
Blue and red people are often rough.
People,though rough and red,tend to be cold too.
Someone nice and kind with a round belly that shakes when they laugh will also have rough hands from spending time outdoors with the reindeer.
Invariably, any young person whose skin appears rough and green is bound to be quite big.
When someone is rough like sandpaper and young like a tadpole they are always round.