Even though young Alan is red from his sunburn, his lips are blue because he is cold. Dave always goes out of his way to show that he is kind to people. They always call him rough Eric. When you meet Gary you'll the two characteristics that will standout is that he's red but also rough. Young people who wear red lipstick are certainly kind. Every time I see a young blue nice person I know they are also red. A green person is going to be rough. Someone with the traits of being cold and red is also going to be someone who is big. A blue colored person who is very nice and kind will be round shaped. Get a rather green person who is both nice, but cold to others, then they are certain to be round. A cold, red, kind soul will also prove to be nice.
Alan is young.
("Alan" "is" "young" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
If someone is red and young then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and young and blue then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is green then they are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and red then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and nice and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and green and cold then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and cold and red then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
Alan is young.
True
1
proof
[(triple1)]
("Alan" "is" "young" "+")
triple1
Alan is not young.
False
1
inv-proof
[(triple1)]
("Alan" "is" "young" "-")
triple1
Alan is big.
True
3
proof
[(((triple3 triple2) -> rule4))]
("Alan" "is" "big" "+")
((triple3 triple2) -> (rule4 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is not kind.
False
3
inv-proof
[(((triple2 triple1) -> rule1))]
("Alan" "is" "kind" "-")
((triple2 triple1) -> (rule1 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is nice.
True
6
proof
[(((((triple2 triple1) -> rule1) triple3 triple2) -> rule7))]
("Alan" "is" "nice" "+")
((((triple2 triple1) -> (rule1 % int2)) triple3 triple2) -> (rule7 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is not nice.
False
6
inv-proof
[(((((triple2 triple1) -> rule1) triple3 triple2) -> rule7))]
("Alan" "is" "nice" "-")
((((triple2 triple1) -> (rule1 % int2)) triple3 triple2) -> (rule7 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is round.
True
11
proof
[(((triple4 ((((triple2 triple1) -> rule1) triple3 triple2) -> rule7) ((triple2 triple1) -> rule1)) -> rule5))]
("Alan" "is" "round" "+")
((triple4 ((((triple2 triple1) -> (rule1 % int3)) triple3 triple2) -> (rule7 % int2)) ((triple2 triple1) -> (rule1 % int3))) -> (rule5 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is not round.
False
11
inv-proof
[(((triple4 ((((triple2 triple1) -> rule1) triple3 triple2) -> rule7) ((triple2 triple1) -> rule1)) -> rule5))]
("Alan" "is" "round" "-")
((triple4 ((((triple2 triple1) -> (rule1 % int3)) triple3 triple2) -> (rule7 % int2)) ((triple2 triple1) -> (rule1 % int3))) -> (rule5 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Eric is not big.
Unknown
inv-rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "big" "-")
Eric is kind.
Unknown
rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "kind" "+")
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "big" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Eric" "is" "nice" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Alan is blue.[(triple4)] Alan is cold.[(triple3)] Alan is red.[(triple2)] Alan is young.[(triple1)] Dave is kind.[(triple5)] Eric is rough.[(triple6)] Gary is red.[(triple8)] Gary is rough.[(triple7)] @1: Alan is big.[(((triple3 triple2) -> rule4))] Alan is kind.[(((triple2 triple1) -> rule1))] @2: Alan is nice.[(((((triple2 triple1) -> rule1) triple3 triple2) -> rule7))] @3: Alan is round.[(((triple4 ((((triple2 triple1) -> rule1) triple3 triple2) -> rule7) ((triple2 triple1) -> rule1)) -> rule5))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Alan is big.
("Alan" "is" "big" "+")
((triple3 triple2) -> (rule4 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
((triple2 triple1) -> (rule1 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
((((triple2 triple1) -> (rule1 % int2)) triple3 triple2) -> (rule7 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
((triple4 ((((triple2 triple1) -> (rule1 % int3)) triple3 triple2) -> (rule7 % int2)) ((triple2 triple1) -> (rule1 % int3))) -> (rule5 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Even though young Alan is red from his sunburn, his lips are blue because he is cold.
Dave always goes out of his way to show that he is kind to people.
They always call him rough Eric.
When you meet Gary you'll the two characteristics that will standout is that he's red but also rough.
Young people who wear red lipstick are certainly kind.
Every time I see a young blue nice person I know they are also red.
A green person is going to be rough.
Someone with the traits of being cold and red is also going to be someone who is big.
A blue colored person who is very nice and kind will be round shaped.
Get a rather green person who is both nice, but cold to others, then they are certain to be round.
A cold, red, kind soul will also prove to be nice.