Red Alan is what folks call him, because he is quite red. Eric is a nice person who is red because he has a rash. Gary is rough and cold, but he's young and will get over it. Big Harry is still young so it's easy for him to be kind. Young and kind folks are always big. Someone can be young, big, and cold but green. A big rough person are also young of age. Someone with the traits of being cold and red is also going to be someone who is big. A young person with cold, rough skin will be red as well. A green and red colored person who has a nice temperament will be cold.
Alan is red.
("Alan" "is" "red" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is kind and young then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is young and cold and big then they are green.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is big and rough then they are young.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and red then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is young and rough and cold then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is green and nice and red then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
Eric is red.
True
1
proof
[(triple2)]
("Eric" "is" "red" "+")
triple2
Harry is not kind.
False
1
inv-proof
[(triple8)]
("Harry" "is" "kind" "-")
triple8
Gary is red.
True
4
proof
[(((triple4 triple5 triple6) -> rule5))]
("Gary" "is" "red" "+")
((triple4 triple5 triple6) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is not red.
False
4
inv-proof
[(((triple4 triple5 triple6) -> rule5))]
("Gary" "is" "red" "-")
((triple4 triple5 triple6) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
True
6
proof
[(((triple6 ((triple4 triple5 triple6) -> rule5)) -> rule4))]
("Gary" "is" "big" "+")
((triple6 ((triple4 triple5 triple6) -> (rule5 % int2))) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is not big.
False
6
inv-proof
[(((triple6 ((triple4 triple5 triple6) -> rule5)) -> rule4))]
("Gary" "is" "big" "-")
((triple6 ((triple4 triple5 triple6) -> (rule5 % int2))) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is green.
True
9
proof
[(((triple4 triple6 ((triple6 ((triple4 triple5 triple6) -> rule5)) -> rule4)) -> rule2))]
("Gary" "is" "green" "+")
((triple4 triple6 ((triple6 ((triple4 triple5 triple6) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is not green.
False
9
inv-proof
[(((triple4 triple6 ((triple6 ((triple4 triple5 triple6) -> rule5)) -> rule4)) -> rule2))]
("Gary" "is" "green" "-")
((triple4 triple6 ((triple6 ((triple4 triple5 triple6) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "red" "-")
Eric is green.
Unknown
rconc
[@2: Eric is green.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Eric" "is" "green" "+")
Alan is not green.
Unknown
inv-rconc
[@2: Alan is green.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Alan" "is" "green" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "cold" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
@0: Alan is red.[(triple1)] Eric is nice.[(triple3)] Eric is red.[(triple2)] Gary is cold.[(triple6)] Gary is rough.[(triple5)] Gary is young.[(triple4)] Harry is big.[(triple9 OR ((triple8 triple7) -> rule1))] Harry is kind.[(triple8)] Harry is young.[(triple7)] @1: Gary is red.[(((triple4 triple5 triple6) -> rule5))] @2: Gary is big.[(((triple6 ((triple4 triple5 triple6) -> rule5)) -> rule4))] @3: Gary is green.[(((triple4 triple6 ((triple6 ((triple4 triple5 triple6) -> rule5)) -> rule4)) -> rule2))]
Alan is red.
("Alan" "is" "red" "+")
triple1
Eric is nice.
("Eric" "is" "nice" "+")
triple3
Eric is red.
("Eric" "is" "red" "+")
triple2
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple5
Gary is young.
("Gary" "is" "young" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple9
((triple8 triple7) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
((triple4 triple5 triple6) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple6 ((triple4 triple5 triple6) -> (rule5 % int2))) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((triple4 triple6 ((triple6 ((triple4 triple5 triple6) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Red Alan is what folks call him, because he is quite red.
Eric is a nice person who is red because he has a rash.
Gary is rough and cold, but he's young and will get over it.
Big Harry is still young so it's easy for him to be kind.
Young and kind folks are always big.
Someone can be young, big, and cold but green.
A big rough person are also young of age.
Someone with the traits of being cold and red is also going to be someone who is big.
A young person with cold, rough skin will be red as well.
A green and red colored person who has a nice temperament will be cold.