Young Alan is wearing green pants. Big Charlie is nice and red with sunburn and green hair. Eric, who is young, nice, green, and blue, is also rather big shaped. In the snow sits Harry, crying from being cold. A person who is described as young and cold, but also described as rough is nice. People who are young and green are also kind. If somebody has the characteristics of being blue, rough and green, they are also going to be cold. A blue individual that is kind and nice to others also has a rough appearance.
Alan is young.
("Alan" "is" "young" "+")
Alan is green.
("Alan" "is" "green" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is young and cold and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and green then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and rough and green then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and blue and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Alan is green.
True
1
proof
[(triple2)]
("Alan" "is" "green" "+")
triple2
Eric is not blue.
False
1
inv-proof
[(triple10)]
("Eric" "is" "blue" "-")
triple10
Eric is kind.
True
3
proof
[(((triple7 triple9) -> rule2))]
("Eric" "is" "kind" "+")
((triple7 triple9) -> (rule2 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Alan is not kind.
False
3
inv-proof
[(((triple1 triple2) -> rule2))]
("Alan" "is" "kind" "-")
((triple1 triple2) -> (rule2 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Eric is rough.
True
6
proof
[(((((triple7 triple9) -> rule2) triple10 triple8) -> rule4))]
("Eric" "is" "rough" "+")
((((triple7 triple9) -> (rule2 % int2)) triple10 triple8) -> (rule4 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is not rough.
False
6
inv-proof
[(((((triple7 triple9) -> rule2) triple10 triple8) -> rule4))]
("Eric" "is" "rough" "-")
((((triple7 triple9) -> (rule2 % int2)) triple10 triple8) -> (rule4 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is cold.
True
9
proof
[(((triple10 ((((triple7 triple9) -> rule2) triple10 triple8) -> rule4) triple9) -> rule3))]
("Eric" "is" "cold" "+")
((triple10 ((((triple7 triple9) -> (rule2 % int3)) triple10 triple8) -> (rule4 % int2)) triple9) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is not cold.
False
9
inv-proof
[(((triple10 ((((triple7 triple9) -> rule2) triple10 triple8) -> rule4) triple9) -> rule3))]
("Eric" "is" "cold" "-")
((triple10 ((((triple7 triple9) -> (rule2 % int3)) triple10 triple8) -> (rule4 % int2)) triple9) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "nice" "-")
Alan is nice.
Unknown
rconc
[@2: Alan is nice.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Alan" "is" "nice" "+")
Alan is not rough.
Unknown
inv-rconc
[@1: Alan is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "rough" "-")
Charlie is cold.
Unknown
rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "cold" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Alan is green.[(triple2)] Alan is young.[(triple1)] Charlie is big.[(triple6)] Charlie is green.[(triple5)] Charlie is nice.[(triple4)] Charlie is red.[(triple3)] Eric is big.[(triple11)] Eric is blue.[(triple10)] Eric is green.[(triple9)] Eric is nice.[(triple8)] Eric is young.[(triple7)] Harry is cold.[(triple12)] @1: Alan is kind.[(((triple1 triple2) -> rule2))] Eric is kind.[(((triple7 triple9) -> rule2))] @2: Eric is rough.[(((((triple7 triple9) -> rule2) triple10 triple8) -> rule4))] @3: Eric is cold.[(((triple10 ((((triple7 triple9) -> rule2) triple10 triple8) -> rule4) triple9) -> rule3))]
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Eric is big.
("Eric" "is" "big" "+")
triple11
Eric is blue.
("Eric" "is" "blue" "+")
triple10
Eric is green.
("Eric" "is" "green" "+")
triple9
Eric is nice.
("Eric" "is" "nice" "+")
triple8
Eric is young.
("Eric" "is" "young" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Alan is kind.
("Alan" "is" "kind" "+")
((triple1 triple2) -> (rule2 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((triple7 triple9) -> (rule2 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
((((triple7 triple9) -> (rule2 % int2)) triple10 triple8) -> (rule4 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
((triple10 ((((triple7 triple9) -> (rule2 % int3)) triple10 triple8) -> (rule4 % int2)) triple9) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Young Alan is wearing green pants.
Big Charlie is nice and red with sunburn and green hair.
Eric, who is young, nice, green, and blue, is also rather big shaped.
In the snow sits Harry, crying from being cold.
A person who is described as young and cold, but also described as rough is nice.
People who are young and green are also kind.
If somebody has the characteristics of being blue, rough and green, they are also going to be cold.
A blue individual that is kind and nice to others also has a rough appearance.