When you see Eric, you will notice he is cold, big and kind. This Fred guy is red. He is also kind and yet cold. You should meet Gary, he is big and rough on the football field but also very young in age. A big, kind someone could also be cold in a green dress. When a person's traits are to be big, blue and cold, they will also have a red trait. Young, kind people have the trait of being cold and are also very nice to interact with. Kind people who look green are almost always young in age. Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.
Eric is kind.
("Eric" "is" "kind" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is big.
("Gary" "is" "big" "+")
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 big and cold and blue then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and young and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and kind then they are young.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and rough and big then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Fred is cold.
True
1
proof
[(triple6)]
("Fred" "is" "cold" "+")
triple6
Gary is not young.
False
1
inv-proof
[(triple7)]
("Gary" "is" "young" "-")
triple7
Eric is green.
True
4
proof
[(((triple3 triple1 triple2) -> rule1))]
("Eric" "is" "green" "+")
((triple3 triple1 triple2) -> (rule1 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is not green.
False
4
inv-proof
[(((triple3 triple1 triple2) -> rule1))]
("Eric" "is" "green" "-")
((triple3 triple1 triple2) -> (rule1 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is young.
True
6
proof
[(((((triple3 triple1 triple2) -> rule1) triple1) -> rule4))]
("Eric" "is" "young" "+")
((((triple3 triple1 triple2) -> (rule1 % int2)) triple1) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is not young.
False
6
inv-proof
[(((((triple3 triple1 triple2) -> rule1) triple1) -> rule4))]
("Eric" "is" "young" "-")
((((triple3 triple1 triple2) -> (rule1 % int2)) triple1) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is nice.
True
9
proof
[(((triple2 ((((triple3 triple1 triple2) -> rule1) triple1) -> rule4) triple1) -> rule3))]
("Eric" "is" "nice" "+")
((triple2 ((((triple3 triple1 triple2) -> (rule1 % int3)) triple1) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is not nice.
False
9
inv-proof
[(((triple2 ((((triple3 triple1 triple2) -> rule1) triple1) -> rule4) triple1) -> rule3))]
("Eric" "is" "nice" "-")
((triple2 ((((triple3 triple1 triple2) -> (rule1 % int3)) triple1) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "nice" "-")
Fred is green.
Unknown
rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "green" "+")
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "young" "-")
Eric is red.
Unknown
rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "red" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
@0: Eric is big.[(triple3)] Eric is cold.[(triple2)] Eric is kind.[(triple1)] Fred is cold.[(triple6)] Fred is kind.[(triple5)] Fred is red.[(triple4)] Gary is big.[(triple9)] Gary is rough.[(triple8)] Gary is young.[(triple7)] @1: Eric is green.[(((triple3 triple1 triple2) -> rule1))] @2: Eric is young.[(((((triple3 triple1 triple2) -> rule1) triple1) -> rule4))] @3: Eric is nice.[(((triple2 ((((triple3 triple1 triple2) -> rule1) triple1) -> rule4) triple1) -> rule3))]
Eric is big.
("Eric" "is" "big" "+")
triple3
Eric is cold.
("Eric" "is" "cold" "+")
triple2
Eric is kind.
("Eric" "is" "kind" "+")
triple1
Fred is cold.
("Fred" "is" "cold" "+")
triple6
Fred is kind.
("Fred" "is" "kind" "+")
triple5
Fred is red.
("Fred" "is" "red" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple7
Eric is green.
("Eric" "is" "green" "+")
((triple3 triple1 triple2) -> (rule1 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((((triple3 triple1 triple2) -> (rule1 % int2)) triple1) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
((triple2 ((((triple3 triple1 triple2) -> (rule1 % int3)) triple1) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
When you see Eric, you will notice he is cold, big and kind.
This Fred guy is red; He is also kind and yet cold.
You should meet Gary, he is big and rough on the football field but also very young in age.
A big, kind someone could also be cold in a green dress.
When a person's traits are to be big, blue and cold, they will also have a red trait.
Young, kind people have the trait of being cold and are also very nice to interact with.
Kind people who look green are almost always young in age.
Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.