In the snow sits Alan, crying from being cold. Eric is both big and round, with blue features. To the touch Gary has rough, cold skin. Nice, but round, Harry has been said to be cold. When someone is young, they can be cold but kind. Cold, red people are generally kind and big. It's said that any person with blue skin, round bones, and big feet is kind. All the kind people in blue were young. Because of the person's young age they are feeling blue due to their big body size causing them to act in a slightly rough manner. Somebody having round, cold and kind traits is also sure to be young.
Alan is cold.
("Alan" "is" "cold" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is young and cold then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and red and cold then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and round and big then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and kind then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is young and big and blue then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
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 rough.
True
1
proof
[(triple5)]
("Gary" "is" "rough" "+")
triple5
Gary is not cold.
False
1
inv-proof
[(triple6)]
("Gary" "is" "cold" "-")
triple6
Eric is kind.
True
4
proof
[(((triple3 triple2 triple4) -> rule3))]
("Eric" "is" "kind" "+")
((triple3 triple2 triple4) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is not kind.
False
4
inv-proof
[(((triple3 triple2 triple4) -> rule3))]
("Eric" "is" "kind" "-")
((triple3 triple2 triple4) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is young.
True
6
proof
[(((triple3 ((triple3 triple2 triple4) -> rule3)) -> rule4))]
("Eric" "is" "young" "+")
((triple3 ((triple3 triple2 triple4) -> (rule3 % int2))) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is not young.
False
6
inv-proof
[(((triple3 ((triple3 triple2 triple4) -> rule3)) -> rule4))]
("Eric" "is" "young" "-")
((triple3 ((triple3 triple2 triple4) -> (rule3 % int2))) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is rough.
True
9
proof
[(((((triple3 ((triple3 triple2 triple4) -> rule3)) -> rule4) triple4 triple3) -> rule5))]
("Eric" "is" "rough" "+")
((((triple3 ((triple3 triple2 triple4) -> (rule3 % int3))) -> (rule4 % int2)) triple4 triple3) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is not rough.
False
9
inv-proof
[(((((triple3 ((triple3 triple2 triple4) -> rule3)) -> rule4) triple4 triple3) -> rule5))]
("Eric" "is" "rough" "-")
((((triple3 ((triple3 triple2 triple4) -> (rule3 % int3))) -> (rule4 % int2)) triple4 triple3) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "young" "-")
Harry is kind.
Unknown
rconc
[@3: Harry is kind.[CWA. Example of deepest failure = (rule1 <- rule6 <- rule3 <- FAIL)]]
("Harry" "is" "kind" "+")
Alan is not young.
Unknown
inv-rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "young" "-")
Alan is rough.
Unknown
rconc
[@1: Alan is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "rough" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
@0: Alan is cold.[(triple1)] Eric is big.[(triple4)] Eric is blue.[(triple3)] Eric is round.[(triple2)] Gary is cold.[(triple6)] Gary is rough.[(triple5)] Harry is cold.[(triple9)] Harry is nice.[(triple8)] Harry is round.[(triple7)] @1: Eric is kind.[(((triple3 triple2 triple4) -> rule3))] @2: Eric is young.[(((triple3 ((triple3 triple2 triple4) -> rule3)) -> rule4))] @3: Eric is rough.[(((((triple3 ((triple3 triple2 triple4) -> rule3)) -> rule4) triple4 triple3) -> rule5))]
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple4
Eric is blue.
("Eric" "is" "blue" "+")
triple3
Eric is round.
("Eric" "is" "round" "+")
triple2
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple5
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple7
Eric is kind.
("Eric" "is" "kind" "+")
((triple3 triple2 triple4) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((triple3 ((triple3 triple2 triple4) -> (rule3 % int2))) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
((((triple3 ((triple3 triple2 triple4) -> (rule3 % int3))) -> (rule4 % int2)) triple4 triple3) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
In the snow sits Alan, crying from being cold.
Eric is both big and round, with blue features.
To the touch Gary has rough, cold skin.
Nice, but round, Harry has been said to be cold.
When someone is young, they can be cold but kind.
Cold, red people are generally kind and big.
It's said that any person with blue skin, round bones, and big feet is kind.
All the kind people in blue were young.
Because of the person's young age they are feeling blue due to their big body size causing them to act in a slightly rough manner.
Somebody having round, cold and kind traits is also sure to be young.