Alan ate some rotten meat and now feels green. Most everyone considers Eric a rough fellow, but very kind. He's often categorized as blue, and he's big. Gary wears all blue. Harry is a man who is both round and rough. Any person who is blue and round, if they are kind at the same time, will be young. I've noticed that someone who is big and acts cold towards others is green as well. A big, young human being is sure to also be a green human being. People that are green tend to be young. Someone who is kind and young with a round figure will always be red too. Big people that are also rough, are ultimately round.
Alan is green.
("Alan" "is" "green" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is blue and round and kind then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and big then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is big and young then they are green.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is round and young and kind then they are red.
((("someone" "is" "round" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is big and rough then they are round.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
Eric is blue.
True
1
proof
[(triple4)]
("Eric" "is" "blue" "+")
triple4
Eric is not rough.
False
1
inv-proof
[(triple2)]
("Eric" "is" "rough" "-")
triple2
Eric is round.
True
3
proof
[(((triple5 triple2) -> rule6))]
("Eric" "is" "round" "+")
((triple5 triple2) -> (rule6 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Alan is not young.
False
2
inv-proof
[(((triple1) -> rule4))]
("Alan" "is" "young" "-")
((triple1) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Eric is young.
True
6
proof
[(((triple4 ((triple5 triple2) -> rule6) triple3) -> rule1))]
("Eric" "is" "young" "+")
((triple4 ((triple5 triple2) -> (rule6 % int2)) triple3) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is not young.
False
6
inv-proof
[(((triple4 ((triple5 triple2) -> rule6) triple3) -> rule1))]
("Eric" "is" "young" "-")
((triple4 ((triple5 triple2) -> (rule6 % int2)) triple3) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is red.
True
11
proof
[(((((triple5 triple2) -> rule6) ((triple4 ((triple5 triple2) -> rule6) triple3) -> rule1) triple3) -> rule5))]
("Eric" "is" "red" "+")
((((triple5 triple2) -> (rule6 % int3)) ((triple4 ((triple5 triple2) -> (rule6 % int3)) triple3) -> (rule1 % int2)) triple3) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is not green.
False
8
inv-proof
[(((triple5 ((triple4 ((triple5 triple2) -> rule6) triple3) -> rule1)) -> rule3))]
("Eric" "is" "green" "-")
((triple5 ((triple4 ((triple5 triple2) -> (rule6 % int3)) triple3) -> (rule1 % int2))) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Alan is not red.
Unknown
inv-rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "red" "-")
Gary is young.
Unknown
rconc
[@2: Gary is young.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Gary" "is" "young" "+")
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "round" "-")
Gary is red.
Unknown
rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "red" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Alan is green.[(triple1)] Eric is big.[(triple5)] Eric is blue.[(triple4)] Eric is kind.[(triple3)] Eric is rough.[(triple2)] Gary is blue.[(triple6)] Harry is rough.[(triple8)] Harry is round.[(triple7)] @1: Alan is young.[(((triple1) -> rule4))] Eric is round.[(((triple5 triple2) -> rule6))] @2: Eric is young.[(((triple4 ((triple5 triple2) -> rule6) triple3) -> rule1))] @3: Eric is green.[(((triple5 ((triple4 ((triple5 triple2) -> rule6) triple3) -> rule1)) -> rule3))] Eric is red.[(((((triple5 triple2) -> rule6) ((triple4 ((triple5 triple2) -> rule6) triple3) -> rule1) triple3) -> rule5))]
Alan is green.
("Alan" "is" "green" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple5
Eric is blue.
("Eric" "is" "blue" "+")
triple4
Eric is kind.
("Eric" "is" "kind" "+")
triple3
Eric is rough.
("Eric" "is" "rough" "+")
triple2
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple7
Alan is young.
("Alan" "is" "young" "+")
((triple1) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
((triple5 triple2) -> (rule6 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((triple4 ((triple5 triple2) -> (rule6 % int2)) triple3) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
((triple5 ((triple4 ((triple5 triple2) -> (rule6 % int3)) triple3) -> (rule1 % int2))) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
((((triple5 triple2) -> (rule6 % int3)) ((triple4 ((triple5 triple2) -> (rule6 % int3)) triple3) -> (rule1 % int2)) triple3) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Alan ate some rotten meat and now feels green.
Most everyone considers Eric a rough fellow, but very kind; He's often categorized as blue, and he's big.
Gary wears all blue.
Harry is a man who is both round and rough.
Any person who is blue and round, if they are kind at the same time, will be young.
I've noticed that someone who is big and acts cold towards others is green as well.
A big, young human being is sure to also be a green human being.
People that are green tend to be young.
Someone who is kind and young with a round figure will always be red too.
Big people that are also rough, are ultimately round.