Young Alan is wearing green pants. Eric ate some rotten meat and now feels green. Gary 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. Young Harry is wearing green pants. Kind young people are red. If you can find someone who is nice and red, then be relieved that they are certain to be kind. A green colored person will be young and also kind. A green person that is cold is often considered to be red. A young and kind person with red rosy skin is cold.
Alan is young.
("Alan" "is" "young" "+")
Alan is green.
("Alan" "is" "green" "+")
Eric is green.
("Eric" "is" "green" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is kind and young then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and red then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and young then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is young and kind and red then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
Eric is green.
True
1
proof
[(triple3)]
("Eric" "is" "green" "+")
triple3
Gary is not rough.
False
1
inv-proof
[(triple4)]
("Gary" "is" "rough" "-")
triple4
Harry is kind.
True
3
proof
[(((triple7 triple6) -> rule3))]
("Harry" "is" "kind" "+")
((triple7 triple6) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Alan is not kind.
False
3
inv-proof
[(((triple2 triple1) -> rule3))]
("Alan" "is" "kind" "-")
((triple2 triple1) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is red.
True
5
proof
[(((((triple2 triple1) -> rule3) triple1) -> rule1))]
("Alan" "is" "red" "+")
((((triple2 triple1) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is not red.
False
5
inv-proof
[(((((triple2 triple1) -> rule3) triple1) -> rule1))]
("Alan" "is" "red" "-")
((((triple2 triple1) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Harry is cold.
True
10
proof
[(((triple6 ((triple7 triple6) -> rule3) ((((triple7 triple6) -> rule3) triple6) -> rule1)) -> rule5))]
("Harry" "is" "cold" "+")
((triple6 ((triple7 triple6) -> (rule3 % int3)) ((((triple7 triple6) -> (rule3 % int3)) triple6) -> (rule1 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Alan is not cold.
False
10
inv-proof
[(((triple1 ((triple2 triple1) -> rule3) ((((triple2 triple1) -> rule3) triple1) -> rule1)) -> rule5))]
("Alan" "is" "cold" "-")
((triple1 ((triple2 triple1) -> (rule3 % int3)) ((((triple2 triple1) -> (rule3 % int3)) triple1) -> (rule1 % int2))) -> (rule5 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Eric is not kind.
Unknown
inv-rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "kind" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "cold" "+")
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "red" "-")
Eric is cold.
Unknown
rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "cold" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Alan is nice.
Unknown
random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
@0: Alan is green.[(triple2)] Alan is young.[(triple1)] Eric is green.[(triple3)] Gary is blue.[(triple5)] Gary is rough.[(triple4)] Harry is green.[(triple7)] Harry is young.[(triple6)] @1: Alan is kind.[(((triple2 triple1) -> rule3))] Harry is kind.[(((triple7 triple6) -> rule3))] @2: Alan is red.[(((((triple2 triple1) -> rule3) triple1) -> rule1))] Harry is red.[(((((triple7 triple6) -> rule3) triple6) -> rule1))] @3: Alan is cold.[(((triple1 ((triple2 triple1) -> rule3) ((((triple2 triple1) -> rule3) triple1) -> rule1)) -> rule5))] Harry is cold.[(((triple6 ((triple7 triple6) -> rule3) ((((triple7 triple6) -> rule3) triple6) -> rule1)) -> rule5))]
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Eric is green.
("Eric" "is" "green" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple4
Harry is green.
("Harry" "is" "green" "+")
triple7
Harry is young.
("Harry" "is" "young" "+")
triple6
Alan is kind.
("Alan" "is" "kind" "+")
((triple2 triple1) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple7 triple6) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
((((triple2 triple1) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((((triple7 triple6) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
((triple1 ((triple2 triple1) -> (rule3 % int3)) ((((triple2 triple1) -> (rule3 % int3)) triple1) -> (rule1 % int2))) -> (rule5 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
((triple6 ((triple7 triple6) -> (rule3 % int3)) ((((triple7 triple6) -> (rule3 % int3)) triple6) -> (rule1 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Young Alan is wearing green pants.
Eric ate some rotten meat and now feels green.
Gary 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.
Young Harry is wearing green pants.
Kind young people are red.
If you can find someone who is nice and red, then be relieved that they are certain to be kind.
A green colored person will be young and also kind.
A green person that is cold is often considered to be red.
A young and kind person with red rosy skin is cold.