Alan realized he was round and rough, and he decided to be nice and kind as well. Charlie is a young and nice man, and he is also very big shaped. Dave is a nice person, but he is both blue and red. In the snow sits Fred, crying from being cold. When you meet someone round, blue and nice they are as a rule rough. Often, when you meet a rough person with red skin, you'll see that they are young too. People who are rough around the edges, nice, and a bit blue are young. Big, kind, and nice people are often red in color. A young, green person who is cold is rough around the edges. People who are young and green are also kind. A nice and young aged person will definitely be green in color.
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is cold.
("Fred" "is" "cold" "+")
If someone is blue and nice and round then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and red then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and nice and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is big and kind and nice then they are red.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and green and young then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and green then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and young then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
Charlie is young.
True
1
proof
[(triple5)]
("Charlie" "is" "young" "+")
triple5
Alan is not nice.
False
1
inv-proof
[(triple3)]
("Alan" "is" "nice" "-")
triple3
Charlie is green.
True
3
proof
[(((triple6 triple5) -> rule7))]
("Charlie" "is" "green" "+")
((triple6 triple5) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is not green.
False
3
inv-proof
[(((triple6 triple5) -> rule7))]
("Charlie" "is" "green" "-")
((triple6 triple5) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is kind.
True
5
proof
[(((triple5 ((triple6 triple5) -> rule7)) -> rule6))]
("Charlie" "is" "kind" "+")
((triple5 ((triple6 triple5) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is not kind.
False
5
inv-proof
[(((triple5 ((triple6 triple5) -> rule7)) -> rule6))]
("Charlie" "is" "kind" "-")
((triple5 ((triple6 triple5) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
True
8
proof
[(((triple7 ((triple5 ((triple6 triple5) -> rule7)) -> rule6) triple6) -> rule4))]
("Charlie" "is" "red" "+")
((triple7 ((triple5 ((triple6 triple5) -> (rule7 % int3))) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is not red.
False
8
inv-proof
[(((triple7 ((triple5 ((triple6 triple5) -> rule7)) -> rule6) triple6) -> rule4))]
("Charlie" "is" "red" "-")
((triple7 ((triple5 ((triple6 triple5) -> (rule7 % int3))) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "rough" "-")
Fred is kind.
Unknown
rconc
[@2: Fred is kind.[CWA. Example of deepest failure = (rule6 <- rule7 <- FAIL)]]
("Fred" "is" "kind" "+")
Alan is not red.
Unknown
inv-rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "red" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "rough" "+")
Fred is not big.
Unknown
inv-random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Alan is kind.[(triple4)] Alan is nice.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Charlie is big.[(triple7)] Charlie is nice.[(triple6)] Charlie is young.[(triple5)] Dave is blue.[(triple10)] Dave is nice.[(triple9)] Dave is red.[(triple8)] Fred is cold.[(triple11)] @1: Charlie is green.[(((triple6 triple5) -> rule7))] @2: Charlie is kind.[(((triple5 ((triple6 triple5) -> rule7)) -> rule6))] @3: Charlie is red.[(((triple7 ((triple5 ((triple6 triple5) -> rule7)) -> rule6) triple6) -> rule4))]
Alan is kind.
("Alan" "is" "kind" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is nice.
("Charlie" "is" "nice" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Dave is blue.
("Dave" "is" "blue" "+")
triple10
Dave is nice.
("Dave" "is" "nice" "+")
triple9
Dave is red.
("Dave" "is" "red" "+")
triple8
Fred is cold.
("Fred" "is" "cold" "+")
triple11
Charlie is green.
("Charlie" "is" "green" "+")
((triple6 triple5) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple5 ((triple6 triple5) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
((triple7 ((triple5 ((triple6 triple5) -> (rule7 % int3))) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Alan realized he was round and rough, and he decided to be nice and kind as well.
Charlie is a young and nice man, and he is also very big shaped.
Dave is a nice person, but he is both blue and red.
In the snow sits Fred, crying from being cold.
When you meet someone round, blue and nice they are as a rule rough.
Often, when you meet a rough person with red skin, you'll see that they are young too.
People who are rough around the edges, nice, and a bit blue are young.
Big, kind, and nice people are often red in color.
A young, green person who is cold is rough around the edges.
People who are young and green are also kind.
A nice and young aged person will definitely be green in color.