Alan ate some rotten meat and now feels green. That guy Charlie is big, but he's always kind to little ones. Although Fred is seen as nice and round, his days of playing football have made him quite rough. Harry gets red when he is mad and tends to act very cold. A round and nice person will certainly have a red tint to them. A round person who is nice is young. A person that has a round big body shape and has a bit of a rough personality will have a green skin tone. Young and kind folks are always big. As someone can be round and rough, they can also be nice and kind. People who are cold and and red are also young and kind.
If someone is round and nice then they are red.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and round then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is round and rough and big then they are green.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and young then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and round and rough then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and young and cold then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Alan is green.
True
1
proof
[(triple1)]
("Alan" "is" "green" "+")
triple1
Charlie is not big.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "big" "-")
triple3
Fred is young.
True
3
proof
[(((triple6 triple4) -> rule2))]
("Fred" "is" "young" "+")
((triple6 triple4) -> (rule2 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is not kind.
False
4
inv-proof
[(((triple6 triple4 triple5) -> rule5))]
("Fred" "is" "kind" "-")
((triple6 triple4 triple5) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is big.
True
8
proof
[(((((triple6 triple4 triple5) -> rule5) ((triple6 triple4) -> rule2)) -> rule4))]
("Fred" "is" "big" "+")
((((triple6 triple4 triple5) -> (rule5 % int3)) ((triple6 triple4) -> (rule2 % int2))) -> (rule4 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is not big.
False
8
inv-proof
[(((((triple6 triple4 triple5) -> rule5) ((triple6 triple4) -> rule2)) -> rule4))]
("Fred" "is" "big" "-")
((((triple6 triple4 triple5) -> (rule5 % int3)) ((triple6 triple4) -> (rule2 % int2))) -> (rule4 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is green.
True
11
proof
[(((triple4 triple5 ((((triple6 triple4 triple5) -> rule5) ((triple6 triple4) -> rule2)) -> rule4)) -> rule3))]
("Fred" "is" "green" "+")
((triple4 triple5 ((((triple6 triple4 triple5) -> (rule5 % int4)) ((triple6 triple4) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
int4
Fred is not green.
False
11
inv-proof
[(((triple4 triple5 ((((triple6 triple4 triple5) -> rule5) ((triple6 triple4) -> rule2)) -> rule4)) -> rule3))]
("Fred" "is" "green" "-")
((triple4 triple5 ((((triple6 triple4 triple5) -> (rule5 % int4)) ((triple6 triple4) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
int4
Alan is not red.
Unknown
inv-rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "red" "-")
Harry is kind.
Unknown
rconc
[@2: Harry is kind.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Harry" "is" "kind" "+")
Harry is not big.
Unknown
inv-rconc
[@2: Harry is big.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Harry" "is" "big" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "green" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Alan is green.[(triple1)] Charlie is big.[(triple3)] Charlie is kind.[(triple2)] Fred is nice.[(triple6)] Fred is rough.[(triple5)] Fred is round.[(triple4)] Harry is cold.[(triple8)] Harry is red.[(triple7)] @1: Fred is kind.[(((triple6 triple4 triple5) -> rule5))] Fred is red.[(((triple4 triple6) -> rule1))] Fred is young.[(((triple6 triple4) -> rule2))] @2: Fred is big.[(((((triple6 triple4 triple5) -> rule5) ((triple6 triple4) -> rule2)) -> rule4))] @3: Fred is green.[(((triple4 triple5 ((((triple6 triple4 triple5) -> rule5) ((triple6 triple4) -> rule2)) -> rule4)) -> rule3))]
Alan is green.
("Alan" "is" "green" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Fred is nice.
("Fred" "is" "nice" "+")
triple6
Fred is rough.
("Fred" "is" "rough" "+")
triple5
Fred is round.
("Fred" "is" "round" "+")
triple4
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple7
Fred is kind.
("Fred" "is" "kind" "+")
((triple6 triple4 triple5) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple4 triple6) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
((triple6 triple4) -> (rule2 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
((((triple6 triple4 triple5) -> (rule5 % int3)) ((triple6 triple4) -> (rule2 % int2))) -> (rule4 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is green.
("Fred" "is" "green" "+")
((triple4 triple5 ((((triple6 triple4 triple5) -> (rule5 % int4)) ((triple6 triple4) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
int4
Alan ate some rotten meat and now feels green.
That guy Charlie is big, but he's always kind to little ones.
Although Fred is seen as nice and round, his days of playing football have made him quite rough.
Harry gets red when he is mad and tends to act very cold.
A round and nice person will certainly have a red tint to them.
A round person who is nice is young.
A person that has a round big body shape and has a bit of a rough personality will have a green skin tone.
Young and kind folks are always big.
As someone can be round and rough, they can also be nice and kind.
People who are cold and and red are also young and kind.