Alan is cold with rough red skin. Alan is big but is also kind. Eric is rough but very kind, he is also red in color and young in age. Gary ate some rotten meat and now feels green. Harry is big and dresses in blue. Big people who kind even when look green are often always considered nice. A nice, big person that is red is usually young. Rough and cold and blue people are round. I know anyone I meet who is big, nice, and round will be young. Someone with rough, big traits will be a green person, as well. If a person is young and very kind then they will be rather big. An individual who is big and nice is also green.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is big and kind and green then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and red and big then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and blue and cold then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is big and nice and round then they are young.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and big then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is young and kind then they are big.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is big and nice then they are green.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Alan is kind.
True
1
proof
[(triple3)]
("Alan" "is" "kind" "+")
triple3
Eric is not young.
False
1
inv-proof
[(triple6)]
("Eric" "is" "young" "-")
triple6
Alan is green.
True
3
proof
[(((triple1 triple5) -> rule5))]
("Alan" "is" "green" "+")
((triple1 triple5) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is not green.
False
3
inv-proof
[(((triple1 triple5) -> rule5))]
("Alan" "is" "green" "-")
((triple1 triple5) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
True
6
proof
[(((triple5 triple3 ((triple1 triple5) -> rule5)) -> rule1))]
("Alan" "is" "nice" "+")
((triple5 triple3 ((triple1 triple5) -> (rule5 % int2))) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Eric is not green.
False
5
inv-proof
[(((triple7 ((triple6 triple9) -> rule6)) -> rule5))]
("Eric" "is" "green" "-")
((triple7 ((triple6 triple9) -> (rule6 % int2))) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Alan is young.
True
9
proof
[(((((triple5 triple3 ((triple1 triple5) -> rule5)) -> rule1) triple2 triple5) -> rule2))]
("Alan" "is" "young" "+")
((((triple5 triple3 ((triple1 triple5) -> (rule5 % int3))) -> (rule1 % int2)) triple2 triple5) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Eric is not nice.
False
10
inv-proof
[(((((triple6 triple9) -> rule6) triple9 ((triple7 ((triple6 triple9) -> rule6)) -> rule5)) -> rule1))]
("Eric" "is" "nice" "-")
((((triple6 triple9) -> (rule6 % int3)) triple9 ((triple7 ((triple6 triple9) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "nice" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "nice" "+")
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "round" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "big" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Alan is big.[(triple5)] Alan is cold.[(triple4)] Alan is kind.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Eric is kind.[(triple9)] Eric is red.[(triple8)] Eric is rough.[(triple7)] Eric is young.[(triple6)] Gary is green.[(triple10)] Harry is big.[(triple12)] Harry is blue.[(triple11)] @1: Alan is green.[(((triple1 triple5) -> rule5))] Eric is big.[(((triple6 triple9) -> rule6))] @2: Alan is nice.[(((triple5 triple3 ((triple1 triple5) -> rule5)) -> rule1))] Eric is green.[(((triple7 ((triple6 triple9) -> rule6)) -> rule5))] @3: Alan is young.[(((((triple5 triple3 ((triple1 triple5) -> rule5)) -> rule1) triple2 triple5) -> rule2))] Eric is nice.[(((((triple6 triple9) -> rule6) triple9 ((triple7 ((triple6 triple9) -> rule6)) -> rule5)) -> rule1))]
Alan is big.
("Alan" "is" "big" "+")
triple5
Alan is cold.
("Alan" "is" "cold" "+")
triple4
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Eric is kind.
("Eric" "is" "kind" "+")
triple9
Eric is red.
("Eric" "is" "red" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Eric is young.
("Eric" "is" "young" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple10
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Alan is green.
("Alan" "is" "green" "+")
((triple1 triple5) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
((triple6 triple9) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
((triple5 triple3 ((triple1 triple5) -> (rule5 % int2))) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
((triple7 ((triple6 triple9) -> (rule6 % int2))) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
((((triple5 triple3 ((triple1 triple5) -> (rule5 % int3))) -> (rule1 % int2)) triple2 triple5) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Eric is nice.
("Eric" "is" "nice" "+")
((((triple6 triple9) -> (rule6 % int3)) triple9 ((triple7 ((triple6 triple9) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Alan is cold with rough red skin; Alan is big but is also kind.
Eric is rough but very kind, he is also red in color and young in age.
Gary ate some rotten meat and now feels green.
Harry is big and dresses in blue.
Big people who kind even when look green are often always considered nice.
A nice, big person that is red is usually young.
Rough and cold and blue people are round.
I know anyone I meet who is big, nice, and round will be young.
Someone with rough, big traits will be a green person, as well.
If a person is young and very kind then they will be rather big.
An individual who is big and nice is also green.