Alan, who is always nice and kind, is a young kid who is feeling rough and blue today. Bob was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure. That guy Harry is big, but he's always kind to little ones. A person that has a round big body shape and has a bit of a rough personality will have a green skin tone. If a person that is kind is big and blue they have to be young. People who have a big shape while they are young are found to be nice. Being green and rough are signs that someone is big. Anyone who's blue is also green. When someone is big, young and rough, they can be cold.
Alan is young.
("Alan" "is" "young" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is round and rough and big then they are green.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and kind and big then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is young and big then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and rough then they are big.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is blue then they are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and young and big then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Alan is nice.
True
1
proof
[(triple3 OR ((triple1 ((((triple5) -> rule5) triple2) -> rule4)) -> rule3) OR ((((triple5 triple4 ((((triple5) -> rule5) triple2) -> rule4)) -> rule2) ((((triple5) -> rule5) triple2) -> rule4)) -> rule3))]
("Alan" "is" "nice" "+")
triple3
((triple1 ((((triple5) -> (rule5 % int3)) triple2) -> (rule4 % int2))) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
((((triple5 triple4 ((((triple5) -> (rule5 % int4)) triple2) -> (rule4 % int3))) -> (rule2 % int2)) ((((triple5) -> (rule5 % int4)) triple2) -> (rule4 % int3))) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
Alan is not nice.
False
1
inv-proof
[(triple3 OR ((triple1 ((((triple5) -> rule5) triple2) -> rule4)) -> rule3) OR ((((triple5 triple4 ((((triple5) -> rule5) triple2) -> rule4)) -> rule2) ((((triple5) -> rule5) triple2) -> rule4)) -> rule3))]
("Alan" "is" "nice" "-")
triple3
((triple1 ((((triple5) -> (rule5 % int3)) triple2) -> (rule4 % int2))) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
((((triple5 triple4 ((((triple5) -> (rule5 % int4)) triple2) -> (rule4 % int3))) -> (rule2 % int2)) ((((triple5) -> (rule5 % int4)) triple2) -> (rule4 % int3))) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
Alan is green.
True
2
proof
[(((triple5) -> rule5))]
("Alan" "is" "green" "+")
((triple5) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is not green.
False
2
inv-proof
[(((triple5) -> rule5))]
("Alan" "is" "green" "-")
((triple5) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is big.
True
4
proof
[(((((triple5) -> rule5) triple2) -> rule4))]
("Alan" "is" "big" "+")
((((triple5) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is not big.
False
4
inv-proof
[(((((triple5) -> rule5) triple2) -> rule4))]
("Alan" "is" "big" "-")
((((triple5) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is cold.
True
7
proof
[(((triple2 triple1 ((((triple5) -> rule5) triple2) -> rule4)) -> rule6) OR ((triple2 ((triple5 triple4 ((((triple5) -> rule5) triple2) -> rule4)) -> rule2) ((((triple5) -> rule5) triple2) -> rule4)) -> rule6))]
("Alan" "is" "cold" "+")
((triple2 triple1 ((((triple5) -> (rule5 % int3)) triple2) -> (rule4 % int2))) -> (rule6 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
((triple2 ((triple5 triple4 ((((triple5) -> (rule5 % int4)) triple2) -> (rule4 % int3))) -> (rule2 % int2)) ((((triple5) -> (rule5 % int4)) triple2) -> (rule4 % int3))) -> (rule6 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
Alan is not cold.
False
7
inv-proof
[(((triple2 triple1 ((((triple5) -> rule5) triple2) -> rule4)) -> rule6) OR ((triple2 ((triple5 triple4 ((((triple5) -> rule5) triple2) -> rule4)) -> rule2) ((((triple5) -> rule5) triple2) -> rule4)) -> rule6))]
("Alan" "is" "cold" "-")
((triple2 triple1 ((((triple5) -> (rule5 % int3)) triple2) -> (rule4 % int2))) -> (rule6 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
((triple2 ((triple5 triple4 ((((triple5) -> (rule5 % int4)) triple2) -> (rule4 % int3))) -> (rule2 % int2)) ((((triple5) -> (rule5 % int4)) triple2) -> (rule4 % int3))) -> (rule6 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
Eric is not nice.
Unknown
inv-rconc
[@2: Eric is nice.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Eric" "is" "nice" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "big" "+")
Harry is not nice.
Unknown
inv-rconc
[@2: Harry is nice.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Harry" "is" "nice" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "green" "+")
Alan is not red.
Unknown
inv-random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Alan is blue.[(triple5)] Alan is kind.[(triple4)] Alan is nice.[(triple3 OR ((triple1 ((((triple5) -> rule5) triple2) -> rule4)) -> rule3) OR ((((triple5 triple4 ((((triple5) -> rule5) triple2) -> rule4)) -> rule2) ((((triple5) -> rule5) triple2) -> rule4)) -> rule3))] Alan is rough.[(triple2)] Alan is young.[(triple1 OR ((triple5 triple4 ((((triple5) -> rule5) triple2) -> rule4)) -> rule2))] Bob is blue.[(triple8)] Bob is green.[(triple7 OR ((triple8) -> rule5))] Bob is round.[(triple6)] Harry is big.[(triple10)] Harry is kind.[(triple9)] @1: Alan is green.[(((triple5) -> rule5))] @2: Alan is big.[(((((triple5) -> rule5) triple2) -> rule4))] @3: Alan is cold.[(((triple2 triple1 ((((triple5) -> rule5) triple2) -> rule4)) -> rule6) OR ((triple2 ((triple5 triple4 ((((triple5) -> rule5) triple2) -> rule4)) -> rule2) ((((triple5) -> rule5) triple2) -> rule4)) -> rule6))]
Alan is blue.
("Alan" "is" "blue" "+")
triple5
Alan is kind.
("Alan" "is" "kind" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
((triple1 ((((triple5) -> (rule5 % int3)) triple2) -> (rule4 % int2))) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
((((triple5 triple4 ((((triple5) -> (rule5 % int4)) triple2) -> (rule4 % int3))) -> (rule2 % int2)) ((((triple5) -> (rule5 % int4)) triple2) -> (rule4 % int3))) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
((triple5 triple4 ((((triple5) -> (rule5 % int3)) triple2) -> (rule4 % int2))) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
triple8
Bob is green.
("Bob" "is" "green" "+")
triple7
((triple8) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Alan is green.
("Alan" "is" "green" "+")
((triple5) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
((((triple5) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
((triple2 triple1 ((((triple5) -> (rule5 % int3)) triple2) -> (rule4 % int2))) -> (rule6 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
((triple2 ((triple5 triple4 ((((triple5) -> (rule5 % int4)) triple2) -> (rule4 % int3))) -> (rule2 % int2)) ((((triple5) -> (rule5 % int4)) triple2) -> (rule4 % int3))) -> (rule6 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
Alan, who is always nice and kind, is a young kid who is feeling rough and blue today.
Bob was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure.
That guy Harry is big, but he's always kind to little ones.
A person that has a round big body shape and has a bit of a rough personality will have a green skin tone.
If a person that is kind is big and blue they have to be young.
People who have a big shape while they are young are found to be nice.
Being green and rough are signs that someone is big.
Anyone who's blue is also green.
When someone is big, young and rough, they can be cold.