Alan wears all blue. Charlie is red from working out in the sun all day. he is green with envy that others get to work inside all day and this makes him feel blue. But Charlie is big and young so he can handle it. Because Eric gets cold easily he tends to appear round from bundling up. Harry vowed to always be rough, cold, blue, and big as possible. Kind young people are red. Young and rough people tend to be green too. If someone is green skinned and has a big nose then you'll find that they often are nice to their family. If you meet someone who is red and blue with a round shape, you can count on them being nice to you. A big rough person are also young of age. A cold natured but kind person will certainly be red.
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is kind and young then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is young and rough then they are green.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is green and big then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and red and round then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and rough then they are young.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and kind then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
Eric is round.
True
1
proof
[(triple7)]
("Eric" "is" "round" "+")
triple7
Eric is not round.
False
1
inv-proof
[(triple7)]
("Eric" "is" "round" "-")
triple7
Harry is young.
True
3
proof
[(((triple12 triple9) -> rule5))]
("Harry" "is" "young" "+")
((triple12 triple9) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Charlie is not nice.
False
3
inv-proof
[(((triple4 triple6) -> rule3))]
("Charlie" "is" "nice" "-")
((triple4 triple6) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Harry is green.
True
5
proof
[(((((triple12 triple9) -> rule5) triple9) -> rule2))]
("Harry" "is" "green" "+")
((((triple12 triple9) -> (rule5 % int2)) triple9) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is not green.
False
5
inv-proof
[(((((triple12 triple9) -> rule5) triple9) -> rule2))]
("Harry" "is" "green" "-")
((((triple12 triple9) -> (rule5 % int2)) triple9) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is nice.
True
7
proof
[(((((((triple12 triple9) -> rule5) triple9) -> rule2) triple12) -> rule3))]
("Harry" "is" "nice" "+")
((((((triple12 triple9) -> (rule5 % int3)) triple9) -> (rule2 % int2)) triple12) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is not nice.
False
7
inv-proof
[(((((((triple12 triple9) -> rule5) triple9) -> rule2) triple12) -> rule3))]
("Harry" "is" "nice" "-")
((((((triple12 triple9) -> (rule5 % int3)) triple9) -> (rule2 % int2)) triple12) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Eric is not green.
Unknown
inv-rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "green" "-")
Eric is red.
Unknown
rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "red" "+")
Alan is not green.
Unknown
inv-rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "green" "-")
Harry is red.
Unknown
rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "red" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
@0: Alan is blue.[(triple1)] Charlie is big.[(triple6)] Charlie is blue.[(triple5)] Charlie is green.[(triple4)] Charlie is red.[(triple3)] Charlie is young.[(triple2)] Eric is cold.[(triple8)] Eric is round.[(triple7)] Harry is big.[(triple12)] Harry is blue.[(triple11)] Harry is cold.[(triple10)] Harry is rough.[(triple9)] @1: Charlie is nice.[(((triple4 triple6) -> rule3))] Harry is young.[(((triple12 triple9) -> rule5))] @2: Harry is green.[(((((triple12 triple9) -> rule5) triple9) -> rule2))] @3: Harry is nice.[(((((((triple12 triple9) -> rule5) triple9) -> rule2) triple12) -> rule3))]
Alan is blue.
("Alan" "is" "blue" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Eric is cold.
("Eric" "is" "cold" "+")
triple8
Eric is round.
("Eric" "is" "round" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple4 triple6) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple12 triple9) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((((triple12 triple9) -> (rule5 % int2)) triple9) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((((((triple12 triple9) -> (rule5 % int3)) triple9) -> (rule2 % int2)) triple12) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Alan wears all blue.
Charlie is red from working out in the sun all day; he is green with envy that others get to work inside all day and this makes him feel blue; But Charlie is big and young so he can handle it.
Because Eric gets cold easily he tends to appear round from bundling up.
Harry vowed to always be rough, cold, blue, and big as possible.
Kind young people are red.
Young and rough people tend to be green too.
If someone is green skinned and has a big nose then you'll find that they often are nice to their family.
If you meet someone who is red and blue with a round shape, you can count on them being nice to you.
A big rough person are also young of age.
A cold natured but kind person will certainly be red.