Alan looks big and is kind with red hair and green shoes. In the snow sits Charlie, crying from being cold. Dave always goes out of his way to show that he is kind to people. Fred is rough and cold, but he's young and will get over it. Nice and kind people tend to live green lifestyle and arent very rough. Red people who are also kind often turn out to be cold from standing outdoors too long. You can tell if someone is big, kind, and young, then they are also nice. It is true that anyone who is cold while being young and nice is secretly a kind person. A person who exhibits nice, kind and cold characteristics will also be a rough person. Big, green people that feel blue are mostly young. If someone is green like grass, kind like an angel and big as a barn, they are for sure young in years.
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is cold.
("Fred" "is" "cold" "+")
If someone is nice and kind and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and red then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and kind and young then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and cold and young then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and nice and cold then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and green and blue then they are young.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is green and kind and big then they are young.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Alan is green.
True
1
proof
[(triple3)]
("Alan" "is" "green" "+")
triple3
Fred is not rough.
False
1
inv-proof
[(triple8)]
("Fred" "is" "rough" "-")
triple8
Alan is cold.
True
3
proof
[(((triple2 triple1) -> rule2))]
("Alan" "is" "cold" "+")
((triple2 triple1) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is not cold.
False
3
inv-proof
[(((triple2 triple1) -> rule2))]
("Alan" "is" "cold" "-")
((triple2 triple1) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is nice.
True
7
proof
[(((triple4 triple2 ((triple3 triple2 triple4) -> rule7)) -> rule3))]
("Alan" "is" "nice" "+")
((triple4 triple2 ((triple3 triple2 triple4) -> (rule7 % int2))) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is not nice.
False
7
inv-proof
[(((triple4 triple2 ((triple3 triple2 triple4) -> rule7)) -> rule3))]
("Alan" "is" "nice" "-")
((triple4 triple2 ((triple3 triple2 triple4) -> (rule7 % int2))) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is rough.
True
10
proof
[(((((triple4 triple2 ((triple3 triple2 triple4) -> rule7)) -> rule3) triple2 triple3) -> rule1) OR ((triple2 ((triple4 triple2 ((triple3 triple2 triple4) -> rule7)) -> rule3) ((triple2 triple1) -> rule2)) -> rule5))]
("Alan" "is" "rough" "+")
((((triple4 triple2 ((triple3 triple2 triple4) -> (rule7 % int3))) -> (rule3 % int2)) triple2 triple3) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
((triple2 ((triple4 triple2 ((triple3 triple2 triple4) -> (rule7 % int4))) -> (rule3 % int3)) ((triple2 triple1) -> (rule2 % int2))) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
int4
Alan is not rough.
False
10
inv-proof
[(((((triple4 triple2 ((triple3 triple2 triple4) -> rule7)) -> rule3) triple2 triple3) -> rule1) OR ((triple2 ((triple4 triple2 ((triple3 triple2 triple4) -> rule7)) -> rule3) ((triple2 triple1) -> rule2)) -> rule5))]
("Alan" "is" "rough" "-")
((((triple4 triple2 ((triple3 triple2 triple4) -> (rule7 % int3))) -> (rule3 % int2)) triple2 triple3) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
((triple2 ((triple4 triple2 ((triple3 triple2 triple4) -> (rule7 % int4))) -> (rule3 % int3)) ((triple2 triple1) -> (rule2 % int2))) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
int4
Dave is not rough.
Unknown
inv-rconc
[@2: Dave is rough.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Dave" "is" "rough" "-")
Fred is kind.
Unknown
rconc
[@2: Fred is kind.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Fred" "is" "kind" "+")
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "nice" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "nice" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Alan is big.[(triple4)] Alan is green.[(triple3)] Alan is kind.[(triple2)] Alan is red.[(triple1)] Charlie is cold.[(triple5)] Dave is kind.[(triple6)] Fred is cold.[(triple9)] Fred is rough.[(triple8)] Fred is young.[(triple7)] @1: Alan is cold.[(((triple2 triple1) -> rule2))] Alan is young.[(((triple3 triple2 triple4) -> rule7))] @2: Alan is nice.[(((triple4 triple2 ((triple3 triple2 triple4) -> rule7)) -> rule3))] @3: Alan is rough.[(((((triple4 triple2 ((triple3 triple2 triple4) -> rule7)) -> rule3) triple2 triple3) -> rule1) OR ((triple2 ((triple4 triple2 ((triple3 triple2 triple4) -> rule7)) -> rule3) ((triple2 triple1) -> rule2)) -> rule5))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Fred is cold.
("Fred" "is" "cold" "+")
triple9
Fred is rough.
("Fred" "is" "rough" "+")
triple8
Fred is young.
("Fred" "is" "young" "+")
triple7
Alan is cold.
("Alan" "is" "cold" "+")
((triple2 triple1) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
((triple3 triple2 triple4) -> (rule7 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
((triple4 triple2 ((triple3 triple2 triple4) -> (rule7 % int2))) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
((((triple4 triple2 ((triple3 triple2 triple4) -> (rule7 % int3))) -> (rule3 % int2)) triple2 triple3) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
((triple2 ((triple4 triple2 ((triple3 triple2 triple4) -> (rule7 % int4))) -> (rule3 % int3)) ((triple2 triple1) -> (rule2 % int2))) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
int4
Alan looks big and is kind with red hair and green shoes.
In the snow sits Charlie, crying from being cold.
Dave always goes out of his way to show that he is kind to people.
Fred is rough and cold, but he's young and will get over it.
Nice and kind people tend to live green lifestyle and arent very rough.
Red people who are also kind often turn out to be cold from standing outdoors too long.
You can tell if someone is big, kind, and young, then they are also nice.
It is true that anyone who is cold while being young and nice is secretly a kind person.
A person who exhibits nice, kind and cold characteristics will also be a rough person.
Big, green people that feel blue are mostly young.
If someone is green like grass, kind like an angel and big as a barn, they are for sure young in years.