Alan is nice and young with red hair and a blue shirt. Most people see Eric as round, albeit nice and big at the same time. They always call him rough Gary. Harry is someone you could describe as young, round, cold, and blue. A big, kind someone could also be cold in a green dress. I see it all the time, nice big people make equal a cold person. Rough young folks are surprisingly kind. If a person that is blue and green is also cold, that means that they are young. Julie is really nice to gardeners since she has a green thumb. A nice person who is downhearted, blue, and green with envy is rough.
Alan is young.
("Alan" "is" "young" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is big and kind and cold then they are green.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and big then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and rough then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and blue and green then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is nice then they are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and blue and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Eric is big.
True
1
proof
[(triple7)]
("Eric" "is" "big" "+")
triple7
Alan is not blue.
False
1
inv-proof
[(triple4)]
("Alan" "is" "blue" "-")
triple4
Eric is cold.
True
3
proof
[(((triple6 triple7) -> rule2))]
("Eric" "is" "cold" "+")
((triple6 triple7) -> (rule2 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Alan is not green.
False
2
inv-proof
[(((triple3) -> rule5))]
("Alan" "is" "green" "-")
((triple3) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is rough.
True
5
proof
[(((triple3 triple4 ((triple3) -> rule5)) -> rule6))]
("Alan" "is" "rough" "+")
((triple3 triple4 ((triple3) -> (rule5 % int2))) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is not rough.
False
5
inv-proof
[(((triple3 triple4 ((triple3) -> rule5)) -> rule6))]
("Alan" "is" "rough" "-")
((triple3 triple4 ((triple3) -> (rule5 % int2))) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is kind.
True
7
proof
[(((triple1 ((triple3 triple4 ((triple3) -> rule5)) -> rule6)) -> rule3))]
("Alan" "is" "kind" "+")
((triple1 ((triple3 triple4 ((triple3) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is not kind.
False
7
inv-proof
[(((triple1 ((triple3 triple4 ((triple3) -> rule5)) -> rule6)) -> rule3))]
("Alan" "is" "kind" "-")
((triple1 ((triple3 triple4 ((triple3) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is not cold.
Unknown
inv-rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "cold" "-")
Eric is rough.
Unknown
rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "rough" "+")
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "rough" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "green" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
Alan is not big.
Unknown
inv-random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Alan is blue.[(triple4)] Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is young.[(triple1)] Eric is big.[(triple7)] Eric is nice.[(triple6)] Eric is round.[(triple5)] Gary is rough.[(triple8)] Harry is blue.[(triple12)] Harry is cold.[(triple11)] Harry is round.[(triple10)] Harry is young.[(triple9)] @1: Alan is green.[(((triple3) -> rule5))] Eric is cold.[(((triple6 triple7) -> rule2))] Eric is green.[(((triple6) -> rule5))] @2: Alan is rough.[(((triple3 triple4 ((triple3) -> rule5)) -> rule6))] @3: Alan is kind.[(((triple1 ((triple3 triple4 ((triple3) -> rule5)) -> rule6)) -> rule3))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is nice.
("Eric" "is" "nice" "+")
triple6
Eric is round.
("Eric" "is" "round" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Alan is green.
("Alan" "is" "green" "+")
((triple3) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
((triple6 triple7) -> (rule2 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
((triple6) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
((triple3 triple4 ((triple3) -> (rule5 % int2))) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
((triple1 ((triple3 triple4 ((triple3) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is nice and young with red hair and a blue shirt.
Most people see Eric as round, albeit nice and big at the same time.
They always call him rough Gary.
Harry is someone you could describe as young, round, cold, and blue.
A big, kind someone could also be cold in a green dress.
I see it all the time, nice big people make equal a cold person.
Rough young folks are surprisingly kind.
If a person that is blue and green is also cold, that means that they are young.
Julie is really nice to gardeners since she has a green thumb.
A nice person who is downhearted, blue, and green with envy is rough.