Alan who is big in stature is almost always nice even when he is cold. That man standing next to you with a big round body goes by the name of Bob. Big Charlie is a kind man and often wears blue and green shirts. Harry, like all young people, is nice. It's inevitable that young, green people are big. You can find someone that is young and rough but kind and nice. A cold and blue appearing person will be young as well. An individual with green, blue and big characteristics will also be rough. A person who is round and nice is cold. Kind and nice people who feel blue usually look green. If somebody has the characteristics of being blue, rough and green, they are also going to be cold.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is young and green then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is young and kind and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and blue then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is green and blue and big then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and round then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and blue and nice then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and rough and green then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Alan is nice.
True
1
proof
[(triple1)]
("Alan" "is" "nice" "+")
triple1
Harry is not young.
False
1
inv-proof
[(triple10)]
("Harry" "is" "young" "-")
triple10
Charlie is rough.
True
4
proof
[(((triple7 triple8 triple9) -> rule4))]
("Charlie" "is" "rough" "+")
((triple7 triple8 triple9) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not rough.
False
4
inv-proof
[(((triple7 triple8 triple9) -> rule4))]
("Charlie" "is" "rough" "-")
((triple7 triple8 triple9) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is cold.
True
7
proof
[(((triple8 ((triple7 triple8 triple9) -> rule4) triple7) -> rule7))]
("Charlie" "is" "cold" "+")
((triple8 ((triple7 triple8 triple9) -> (rule4 % int2)) triple7) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is not cold.
False
7
inv-proof
[(((triple8 ((triple7 triple8 triple9) -> rule4) triple7) -> rule7))]
("Charlie" "is" "cold" "-")
((triple8 ((triple7 triple8 triple9) -> (rule4 % int2)) triple7) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
True
9
proof
[(((((triple8 ((triple7 triple8 triple9) -> rule4) triple7) -> rule7) triple8) -> rule3))]
("Charlie" "is" "young" "+")
((((triple8 ((triple7 triple8 triple9) -> (rule4 % int3)) triple7) -> (rule7 % int2)) triple8) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is not young.
False
9
inv-proof
[(((((triple8 ((triple7 triple8 triple9) -> rule4) triple7) -> rule7) triple8) -> rule3))]
("Charlie" "is" "young" "-")
((((triple8 ((triple7 triple8 triple9) -> (rule4 % int3)) triple7) -> (rule7 % int2)) triple8) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is nice.
True
15
proof
[(((((((triple8 ((triple7 triple8 triple9) -> rule4) triple7) -> rule7) triple8) -> rule3) triple6 ((triple7 triple8 triple9) -> rule4)) -> rule2))]
("Charlie" "is" "nice" "+")
((((((triple8 ((triple7 triple8 triple9) -> (rule4 % int4)) triple7) -> (rule7 % int3)) triple8) -> (rule3 % int2)) triple6 ((triple7 triple8 triple9) -> (rule4 % int4))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is not nice.
False
15
inv-proof
[(((((((triple8 ((triple7 triple8 triple9) -> rule4) triple7) -> rule7) triple8) -> rule3) triple6 ((triple7 triple8 triple9) -> rule4)) -> rule2))]
("Charlie" "is" "nice" "-")
((((((triple8 ((triple7 triple8 triple9) -> (rule4 % int4)) triple7) -> (rule7 % int3)) triple8) -> (rule3 % int2)) triple6 ((triple7 triple8 triple9) -> (rule4 % int4))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "young" "-")
Alan is green.
Unknown
rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "green" "+")
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "green" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "nice" "+")
Bob is not cold.
Unknown
inv-rconc
[@2: Bob is cold.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Bob" "is" "cold" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Alan is big.[(triple3)] Alan is cold.[(triple2)] Alan is nice.[(triple1)] Bob is big.[(triple5)] Bob is round.[(triple4)] Charlie is big.[(triple9)] Charlie is blue.[(triple8)] Charlie is green.[(triple7)] Charlie is kind.[(triple6)] Harry is nice.[(triple11)] Harry is young.[(triple10)] @1: Charlie is rough.[(((triple7 triple8 triple9) -> rule4))] @2: Charlie is cold.[(((triple8 ((triple7 triple8 triple9) -> rule4) triple7) -> rule7))] @3: Charlie is young.[(((((triple8 ((triple7 triple8 triple9) -> rule4) triple7) -> rule7) triple8) -> rule3))] @4: Charlie is nice.[(((((((triple8 ((triple7 triple8 triple9) -> rule4) triple7) -> rule7) triple8) -> rule3) triple6 ((triple7 triple8 triple9) -> rule4)) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is round.
("Bob" "is" "round" "+")
triple4
Charlie is big.
("Charlie" "is" "big" "+")
triple9
Charlie is blue.
("Charlie" "is" "blue" "+")
triple8
Charlie is green.
("Charlie" "is" "green" "+")
triple7
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple10
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple7 triple8 triple9) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple8 ((triple7 triple8 triple9) -> (rule4 % int2)) triple7) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((((triple8 ((triple7 triple8 triple9) -> (rule4 % int3)) triple7) -> (rule7 % int2)) triple8) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
((((((triple8 ((triple7 triple8 triple9) -> (rule4 % int4)) triple7) -> (rule7 % int3)) triple8) -> (rule3 % int2)) triple6 ((triple7 triple8 triple9) -> (rule4 % int4))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Alan who is big in stature is almost always nice even when he is cold.
That man standing next to you with a big round body goes by the name of Bob.
Big Charlie is a kind man and often wears blue and green shirts.
Harry, like all young people, is nice.
It's inevitable that young, green people are big.
You can find someone that is young and rough but kind and nice.
A cold and blue appearing person will be young as well.
An individual with green, blue and big characteristics will also be rough.
A person who is round and nice is cold.
Kind and nice people who feel blue usually look green.
If somebody has the characteristics of being blue, rough and green, they are also going to be cold.