When you meet Alan you'll the two characteristics that will standout is that he's red but also rough. Eric is a rough guy but he is also red, nice, green and big. In the snow sits Gary, crying from being cold. Harry is both young and fairly round in size. People who are rough and green with envy are young. A big person who looks blue is also going to look young. You know when you meet a red, blue and kind person, that means they are green. Anyone perceived to be rough, cold and kind will also be nice. All the kind people in blue were young. Someone who is very rough and big in size, and also has a round physique tend to be very cold. Unfortunately, all the young people who are considered green are all round.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
If someone is rough and green then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and big then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is red and blue and kind then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and cold and kind then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and kind then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and big and round then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and young then they are round.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Eric is big.
True
1
proof
[(triple7)]
("Eric" "is" "big" "+")
triple7
Eric is not green.
False
1
inv-proof
[(triple6)]
("Eric" "is" "green" "-")
triple6
Eric is young.
True
3
proof
[(((triple3 triple6) -> rule1))]
("Eric" "is" "young" "+")
((triple3 triple6) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is not young.
False
3
inv-proof
[(((triple3 triple6) -> rule1))]
("Eric" "is" "young" "-")
((triple3 triple6) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is round.
True
5
proof
[(((triple6 ((triple3 triple6) -> rule1)) -> rule7))]
("Eric" "is" "round" "+")
((triple6 ((triple3 triple6) -> (rule1 % int2))) -> (rule7 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is not round.
False
5
inv-proof
[(((triple6 ((triple3 triple6) -> rule1)) -> rule7))]
("Eric" "is" "round" "-")
((triple6 ((triple3 triple6) -> (rule1 % int2))) -> (rule7 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is cold.
True
8
proof
[(((triple3 triple7 ((triple6 ((triple3 triple6) -> rule1)) -> rule7)) -> rule6))]
("Eric" "is" "cold" "+")
((triple3 triple7 ((triple6 ((triple3 triple6) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is not cold.
False
8
inv-proof
[(((triple3 triple7 ((triple6 ((triple3 triple6) -> rule1)) -> rule7)) -> rule6))]
("Eric" "is" "cold" "-")
((triple3 triple7 ((triple6 ((triple3 triple6) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "nice" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "nice" "+")
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "young" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "cold" "+")
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" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Alan is red.[(triple2)] Alan is rough.[(triple1)] Eric is big.[(triple7)] Eric is green.[(triple6)] Eric is nice.[(triple5)] Eric is red.[(triple4)] Eric is rough.[(triple3)] Gary is cold.[(triple8)] Harry is round.[(triple10)] Harry is young.[(triple9)] @1: Eric is young.[(((triple3 triple6) -> rule1))] @2: Eric is round.[(((triple6 ((triple3 triple6) -> rule1)) -> rule7))] @3: Eric is cold.[(((triple3 triple7 ((triple6 ((triple3 triple6) -> rule1)) -> rule7)) -> rule6))]
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is green.
("Eric" "is" "green" "+")
triple6
Eric is nice.
("Eric" "is" "nice" "+")
triple5
Eric is red.
("Eric" "is" "red" "+")
triple4
Eric is rough.
("Eric" "is" "rough" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Eric is young.
("Eric" "is" "young" "+")
((triple3 triple6) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
((triple6 ((triple3 triple6) -> (rule1 % int2))) -> (rule7 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
((triple3 triple7 ((triple6 ((triple3 triple6) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
When you meet Alan you'll the two characteristics that will standout is that he's red but also rough.
Eric is a rough guy but he is also red, nice, green and big.
In the snow sits Gary, crying from being cold.
Harry is both young and fairly round in size.
People who are rough and green with envy are young.
A big person who looks blue is also going to look young.
You know when you meet a red, blue and kind person, that means they are green.
Anyone perceived to be rough, cold and kind will also be nice.
All the kind people in blue were young.
Someone who is very rough and big in size, and also has a round physique tend to be very cold.
Unfortunately, all the young people who are considered green are all round.