Alan 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 Alan is big and young so he can handle it. Bob wears all blue. Big Gary is nice but also rough. Harry grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. Soon you will understand that big people are nice. Young people who are feeling green and cold are kind. When someone is blue, lives green they can be rough but kind. Cold, green people have a habit of eating alot and looking quite round. An individual with green, blue and big characteristics will also be rough. Blue and red people who are young always have rough skin. A person that is both nice and young will also be cold.
Alan is young.
("Alan" "is" "young" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is big then they are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and green and cold then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and rough and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and green then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is green and blue and big then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and red and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and young then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
Alan is red.
True
1
proof
[(triple2)]
("Alan" "is" "red" "+")
triple2
Harry is not blue.
False
1
inv-proof
[(triple11)]
("Harry" "is" "blue" "-")
triple11
Alan is rough.
True
4
proof
[(((triple3 triple4 triple5) -> rule5) OR ((triple4 triple2 triple1) -> rule6))]
("Alan" "is" "rough" "+")
((triple3 triple4 triple5) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
((triple4 triple2 triple1) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is not rough.
False
4
inv-proof
[(((triple3 triple4 triple5) -> rule5) OR ((triple4 triple2 triple1) -> rule6))]
("Alan" "is" "rough" "-")
((triple3 triple4 triple5) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
((triple4 triple2 triple1) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is cold.
True
4
proof
[(((((triple5) -> rule1) triple1) -> rule7))]
("Alan" "is" "cold" "+")
((((triple5) -> (rule1 % int2)) triple1) -> (rule7 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is not kind.
False
7
inv-proof
[(((triple4 ((triple3 triple4 triple5) -> rule5) triple3) -> rule3) OR ((triple4 ((triple4 triple2 triple1) -> rule6) triple3) -> rule3) OR ((triple1 triple3 ((((triple5) -> rule1) triple1) -> rule7)) -> rule2))]
("Alan" "is" "kind" "-")
((triple4 ((triple3 triple4 triple5) -> (rule5 % int2)) triple3) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
((triple4 ((triple4 triple2 triple1) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
((triple1 triple3 ((((triple5) -> (rule1 % int3)) triple1) -> (rule7 % int2))) -> (rule2 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is round.
True
6
proof
[(((((((triple5) -> rule1) triple1) -> rule7) triple3) -> rule4))]
("Alan" "is" "round" "+")
((((((triple5) -> (rule1 % int3)) triple1) -> (rule7 % int2)) triple3) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is not round.
False
6
inv-proof
[(((((((triple5) -> rule1) triple1) -> rule7) triple3) -> rule4))]
("Alan" "is" "round" "-")
((((((triple5) -> (rule1 % int3)) triple1) -> (rule7 % int2)) triple3) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "cold" "-")
Bob is rough.
Unknown
rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "rough" "+")
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "cold" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "nice" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Alan is big.[(triple5)] Alan is blue.[(triple4)] Alan is green.[(triple3)] Alan is red.[(triple2)] Alan is young.[(triple1)] Bob is blue.[(triple6)] Gary is big.[(triple9)] Gary is nice.[(triple8 OR ((triple9) -> rule1))] Gary is rough.[(triple7)] Harry is blue.[(triple11)] Harry is rough.[(triple10)] @1: Alan is nice.[(((triple5) -> rule1))] Alan is rough.[(((triple3 triple4 triple5) -> rule5) OR ((triple4 triple2 triple1) -> rule6))] @2: Alan is cold.[(((((triple5) -> rule1) triple1) -> rule7))] Alan is kind.[(((triple4 ((triple3 triple4 triple5) -> rule5) triple3) -> rule3) OR ((triple4 ((triple4 triple2 triple1) -> rule6) triple3) -> rule3) OR ((triple1 triple3 ((((triple5) -> rule1) triple1) -> rule7)) -> rule2))] @3: Alan is round.[(((((((triple5) -> rule1) triple1) -> rule7) triple3) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple5
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple8
((triple9) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Alan is nice.
("Alan" "is" "nice" "+")
((triple5) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
((triple3 triple4 triple5) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
((triple4 triple2 triple1) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
((((triple5) -> (rule1 % int2)) triple1) -> (rule7 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
((triple4 ((triple3 triple4 triple5) -> (rule5 % int2)) triple3) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
((triple4 ((triple4 triple2 triple1) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
((triple1 triple3 ((((triple5) -> (rule1 % int3)) triple1) -> (rule7 % int2))) -> (rule2 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
((((((triple5) -> (rule1 % int3)) triple1) -> (rule7 % int2)) triple3) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan 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 Alan is big and young so he can handle it.
Bob wears all blue.
Big Gary is nice but also rough.
Harry grew up in a family with six other boys and that make him a rough guy; Right now he's feeling blue because his dog is sick.
Soon you will understand that big people are nice.
Young people who are feeling green and cold are kind.
When someone is blue, lives green they can be rough but kind.
Cold, green people have a habit of eating alot and looking quite round.
An individual with green, blue and big characteristics will also be rough.
Blue and red people who are young always have rough skin.
A person that is both nice and young will also be cold.