Alan is a rough kind of Fellow, but described as a nice and kind Person, even though Alan is red. Because Eric gets cold easily he tends to appear round from bundling up. Gary is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well. In the snow sits Harry, crying from being cold. Big, young people feel cold all the time. Young and rough people tend to be green too. Red, kind, rough people are the young ones. Nice young people who are round are also blue. Blue, young and round people are usually big. Someone who is young and nice is often round. A green colored and rough person will be quite kind.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is young and big then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and rough then they are green.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is red and kind and rough then they are young.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and young and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and young and round then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is young and nice then they are round.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is green and rough then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Harry is cold.
True
1
proof
[(triple10)]
("Harry" "is" "cold" "+")
triple10
Alan is not nice.
False
1
inv-proof
[(triple3)]
("Alan" "is" "nice" "-")
triple3
Alan is young.
True
4
proof
[(((triple2 triple4 triple1) -> rule3))]
("Alan" "is" "young" "+")
((triple2 triple4 triple1) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is not young.
False
4
inv-proof
[(((triple2 triple4 triple1) -> rule3))]
("Alan" "is" "young" "-")
((triple2 triple4 triple1) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
True
6
proof
[(((((triple2 triple4 triple1) -> rule3) triple1) -> rule2))]
("Alan" "is" "green" "+")
((((triple2 triple4 triple1) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is not green.
False
6
inv-proof
[(((((triple2 triple4 triple1) -> rule3) triple1) -> rule2))]
("Alan" "is" "green" "-")
((((triple2 triple4 triple1) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is blue.
True
12
proof
[(((triple3 ((triple2 triple4 triple1) -> rule3) ((((triple2 triple4 triple1) -> rule3) triple3) -> rule6)) -> rule4))]
("Alan" "is" "blue" "+")
((triple3 ((triple2 triple4 triple1) -> (rule3 % int3)) ((((triple2 triple4 triple1) -> (rule3 % int3)) triple3) -> (rule6 % int2))) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is not blue.
False
12
inv-proof
[(((triple3 ((triple2 triple4 triple1) -> rule3) ((((triple2 triple4 triple1) -> rule3) triple3) -> rule6)) -> rule4))]
("Alan" "is" "blue" "-")
((triple3 ((triple2 triple4 triple1) -> (rule3 % int3)) ((((triple2 triple4 triple1) -> (rule3 % int3)) triple3) -> (rule6 % int2))) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is big.
True
23
proof
[(((((triple3 ((triple2 triple4 triple1) -> rule3) ((((triple2 triple4 triple1) -> rule3) triple3) -> rule6)) -> rule4) ((triple2 triple4 triple1) -> rule3) ((((triple2 triple4 triple1) -> rule3) triple3) -> rule6)) -> rule5))]
("Alan" "is" "big" "+")
((((triple3 ((triple2 triple4 triple1) -> (rule3 % int4)) ((((triple2 triple4 triple1) -> (rule3 % int4)) triple3) -> (rule6 % int3))) -> (rule4 % int2)) ((triple2 triple4 triple1) -> (rule3 % int4)) ((((triple2 triple4 triple1) -> (rule3 % int4)) triple3) -> (rule6 % int3))) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
int4
Alan is not big.
False
23
inv-proof
[(((((triple3 ((triple2 triple4 triple1) -> rule3) ((((triple2 triple4 triple1) -> rule3) triple3) -> rule6)) -> rule4) ((triple2 triple4 triple1) -> rule3) ((((triple2 triple4 triple1) -> rule3) triple3) -> rule6)) -> rule5))]
("Alan" "is" "big" "-")
((((triple3 ((triple2 triple4 triple1) -> (rule3 % int4)) ((((triple2 triple4 triple1) -> (rule3 % int4)) triple3) -> (rule6 % int3))) -> (rule4 % int2)) ((triple2 triple4 triple1) -> (rule3 % int4)) ((((triple2 triple4 triple1) -> (rule3 % int4)) triple3) -> (rule6 % int3))) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
int4
Alan is cold.
True
28
proof
[(((((triple2 triple4 triple1) -> rule3) ((((triple3 ((triple2 triple4 triple1) -> rule3) ((((triple2 triple4 triple1) -> rule3) triple3) -> rule6)) -> rule4) ((triple2 triple4 triple1) -> rule3) ((((triple2 triple4 triple1) -> rule3) triple3) -> rule6)) -> rule5)) -> rule1))]
("Alan" "is" "cold" "+")
((((triple2 triple4 triple1) -> (rule3 % int5)) ((((triple3 ((triple2 triple4 triple1) -> (rule3 % int5)) ((((triple2 triple4 triple1) -> (rule3 % int5)) triple3) -> (rule6 % int4))) -> (rule4 % int3)) ((triple2 triple4 triple1) -> (rule3 % int5)) ((((triple2 triple4 triple1) -> (rule3 % int5)) triple3) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Alan is young.
("Alan" "is" "young" "+")
int5
Alan is not cold.
False
28
inv-proof
[(((((triple2 triple4 triple1) -> rule3) ((((triple3 ((triple2 triple4 triple1) -> rule3) ((((triple2 triple4 triple1) -> rule3) triple3) -> rule6)) -> rule4) ((triple2 triple4 triple1) -> rule3) ((((triple2 triple4 triple1) -> rule3) triple3) -> rule6)) -> rule5)) -> rule1))]
("Alan" "is" "cold" "-")
((((triple2 triple4 triple1) -> (rule3 % int5)) ((((triple3 ((triple2 triple4 triple1) -> (rule3 % int5)) ((((triple2 triple4 triple1) -> (rule3 % int5)) triple3) -> (rule6 % int4))) -> (rule4 % int3)) ((triple2 triple4 triple1) -> (rule3 % int5)) ((((triple2 triple4 triple1) -> (rule3 % int5)) triple3) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Alan is young.
("Alan" "is" "young" "+")
int5
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "kind" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "round" "+")
Eric is not kind.
Unknown
inv-rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Eric" "is" "kind" "-")
Harry is young.
Unknown
rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "young" "+")
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "blue" "-")
Gary is big.
Unknown
rconc
[@2: Gary is big.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Gary" "is" "big" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
@0: Alan is kind.[(triple4)] Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Eric is cold.[(triple6)] Eric is round.[(triple5)] Gary is blue.[(triple9)] Gary is nice.[(triple8)] Gary is round.[(triple7)] Harry is cold.[(triple10)] @1: Alan is young.[(((triple2 triple4 triple1) -> rule3))] @2: Alan is green.[(((((triple2 triple4 triple1) -> rule3) triple1) -> rule2))] Alan is round.[(((((triple2 triple4 triple1) -> rule3) triple3) -> rule6))] @3: Alan is blue.[(((triple3 ((triple2 triple4 triple1) -> rule3) ((((triple2 triple4 triple1) -> rule3) triple3) -> rule6)) -> rule4))] @4: Alan is big.[(((((triple3 ((triple2 triple4 triple1) -> rule3) ((((triple2 triple4 triple1) -> rule3) triple3) -> rule6)) -> rule4) ((triple2 triple4 triple1) -> rule3) ((((triple2 triple4 triple1) -> rule3) triple3) -> rule6)) -> rule5))] @5: Alan is cold.[(((((triple2 triple4 triple1) -> rule3) ((((triple3 ((triple2 triple4 triple1) -> rule3) ((((triple2 triple4 triple1) -> rule3) triple3) -> rule6)) -> rule4) ((triple2 triple4 triple1) -> rule3) ((((triple2 triple4 triple1) -> rule3) triple3) -> rule6)) -> rule5)) -> rule1))]
Alan is kind.
("Alan" "is" "kind" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple6
Eric is round.
("Eric" "is" "round" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Alan is young.
("Alan" "is" "young" "+")
((triple2 triple4 triple1) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
((((triple2 triple4 triple1) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
((((triple2 triple4 triple1) -> (rule3 % int2)) triple3) -> (rule6 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
((triple3 ((triple2 triple4 triple1) -> (rule3 % int3)) ((((triple2 triple4 triple1) -> (rule3 % int3)) triple3) -> (rule6 % int2))) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
((((triple3 ((triple2 triple4 triple1) -> (rule3 % int4)) ((((triple2 triple4 triple1) -> (rule3 % int4)) triple3) -> (rule6 % int3))) -> (rule4 % int2)) ((triple2 triple4 triple1) -> (rule3 % int4)) ((((triple2 triple4 triple1) -> (rule3 % int4)) triple3) -> (rule6 % int3))) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
int4
Alan is cold.
("Alan" "is" "cold" "+")
((((triple2 triple4 triple1) -> (rule3 % int5)) ((((triple3 ((triple2 triple4 triple1) -> (rule3 % int5)) ((((triple2 triple4 triple1) -> (rule3 % int5)) triple3) -> (rule6 % int4))) -> (rule4 % int3)) ((triple2 triple4 triple1) -> (rule3 % int5)) ((((triple2 triple4 triple1) -> (rule3 % int5)) triple3) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Alan is young.
("Alan" "is" "young" "+")
int5
Alan is a rough kind of Fellow, but described as a nice and kind Person, even though Alan is red.
Because Eric gets cold easily he tends to appear round from bundling up.
Gary is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well.
In the snow sits Harry, crying from being cold.
Big, young people feel cold all the time.
Young and rough people tend to be green too.
Red, kind, rough people are the young ones.
Nice young people who are round are also blue.
Blue, young and round people are usually big.
Someone who is young and nice is often round.
A green colored and rough person will be quite kind.