Alan is a young and nice man, and he is also very big shaped. Even though big Eric can be rough and cold, he is nice for someone as red as he is. Fred is very nice to people, but he's also rather big. In the snow sits Gary, crying from being cold. People who are nice but a rough around the edges and turn red in the fun feel sad and blue. A kind and big person is young. Blue and red people are often rough. A big and blue colored person is also certainly very kind. When somebody is round, kind and blue, you know they'll also be red. If someone is kind, green, and round sized, then they are typically nice people.
Alan is young.
("Alan" "is" "young" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is big.
("Alan" "is" "big" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is rough and nice and red then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and kind then they are young.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("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 blue and big then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and kind and blue then they are red.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and green and round then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Alan is young.
True
1
proof
[(triple1)]
("Alan" "is" "young" "+")
triple1
Eric is not cold.
False
1
inv-proof
[(triple7)]
("Eric" "is" "cold" "-")
triple7
Eric is blue.
True
4
proof
[(((triple4 triple6 triple5) -> rule1))]
("Eric" "is" "blue" "+")
((triple4 triple6 triple5) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is not blue.
False
4
inv-proof
[(((triple4 triple6 triple5) -> rule1))]
("Eric" "is" "blue" "-")
((triple4 triple6 triple5) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is kind.
True
6
proof
[(((((triple4 triple6 triple5) -> rule1) triple8) -> rule4))]
("Eric" "is" "kind" "+")
((((triple4 triple6 triple5) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is not kind.
False
6
inv-proof
[(((((triple4 triple6 triple5) -> rule1) triple8) -> rule4))]
("Eric" "is" "kind" "-")
((((triple4 triple6 triple5) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is young.
True
8
proof
[(((triple8 ((((triple4 triple6 triple5) -> rule1) triple8) -> rule4)) -> rule2))]
("Eric" "is" "young" "+")
((triple8 ((((triple4 triple6 triple5) -> (rule1 % int3)) triple8) -> (rule4 % int2))) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is not young.
False
8
inv-proof
[(((triple8 ((((triple4 triple6 triple5) -> rule1) triple8) -> rule4)) -> rule2))]
("Eric" "is" "young" "-")
((triple8 ((((triple4 triple6 triple5) -> (rule1 % int3)) triple8) -> (rule4 % int2))) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Alan is not blue.
Unknown
inv-rconc
[@2: Alan is blue.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Alan" "is" "blue" "-")
Fred is blue.
Unknown
rconc
[@2: Fred is blue.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Fred" "is" "blue" "+")
Fred is not young.
Unknown
inv-rconc
[@4: Fred is young.[CWA. Example of deepest failure = (rule2 <- rule4 <- rule1 <- rule3 <- FAIL)]]
("Fred" "is" "young" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "nice" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Alan is big.[(triple3)] Alan is nice.[(triple2)] Alan is young.[(triple1)] Eric is big.[(triple8)] Eric is cold.[(triple7)] Eric is nice.[(triple6)] Eric is red.[(triple5)] Eric is rough.[(triple4)] Fred is big.[(triple10)] Fred is nice.[(triple9)] Gary is cold.[(triple11)] @1: Eric is blue.[(((triple4 triple6 triple5) -> rule1))] @2: Eric is kind.[(((((triple4 triple6 triple5) -> rule1) triple8) -> rule4))] @3: Eric is young.[(((triple8 ((((triple4 triple6 triple5) -> rule1) triple8) -> rule4)) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple8
Eric is cold.
("Eric" "is" "cold" "+")
triple7
Eric is nice.
("Eric" "is" "nice" "+")
triple6
Eric is red.
("Eric" "is" "red" "+")
triple5
Eric is rough.
("Eric" "is" "rough" "+")
triple4
Fred is big.
("Fred" "is" "big" "+")
triple10
Fred is nice.
("Fred" "is" "nice" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Eric is blue.
("Eric" "is" "blue" "+")
((triple4 triple6 triple5) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((((triple4 triple6 triple5) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
((triple8 ((((triple4 triple6 triple5) -> (rule1 % int3)) triple8) -> (rule4 % int2))) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Alan is a young and nice man, and he is also very big shaped.
Even though big Eric can be rough and cold, he is nice for someone as red as he is.
Fred is very nice to people, but he's also rather big.
In the snow sits Gary, crying from being cold.
People who are nice but a rough around the edges and turn red in the fun feel sad and blue.
A kind and big person is young.
Blue and red people are often rough.
A big and blue colored person is also certainly very kind.
When somebody is round, kind and blue, you know they'll also be red.
If someone is kind, green, and round sized, then they are typically nice people.