Young Alan is kind and perpetually cold, especially during the winter holidays when he is green and red. Even though he's a big dude, Charlie is cold. To the touch Eric has rough, cold skin. Harry loves cake which has made him quite round. Because he has been made fun of for quite some time, he has turned rough and cold towards others. Kind, young, green persons are sure to be rough persons, too. Big, kind people are nice. Rough and kind people are big. People who are big and kind and feel down and blue tend to have rough skin. If you find that someone has rough blue skin they are always kind.
Alan is young.
("Alan" "is" "young" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is kind and young and green then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and big then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and kind then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and big and blue then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and blue then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
Alan is kind.
True
1
proof
[(triple3)]
("Alan" "is" "kind" "+")
triple3
Eric is not cold.
False
1
inv-proof
[(triple9)]
("Eric" "is" "cold" "-")
triple9
Alan is rough.
True
4
proof
[(((triple3 triple1 triple4) -> rule1))]
("Alan" "is" "rough" "+")
((triple3 triple1 triple4) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is not rough.
False
4
inv-proof
[(((triple3 triple1 triple4) -> rule1))]
("Alan" "is" "rough" "-")
((triple3 triple1 triple4) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is big.
True
6
proof
[(((((triple3 triple1 triple4) -> rule1) triple3) -> rule3))]
("Alan" "is" "big" "+")
((((triple3 triple1 triple4) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is not big.
False
6
inv-proof
[(((((triple3 triple1 triple4) -> rule1) triple3) -> rule3))]
("Alan" "is" "big" "-")
((((triple3 triple1 triple4) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is nice.
True
8
proof
[(((triple3 ((((triple3 triple1 triple4) -> rule1) triple3) -> rule3)) -> rule2))]
("Alan" "is" "nice" "+")
((triple3 ((((triple3 triple1 triple4) -> (rule1 % int3)) triple3) -> (rule3 % int2))) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is not nice.
False
8
inv-proof
[(((triple3 ((((triple3 triple1 triple4) -> rule1) triple3) -> rule3)) -> rule2))]
("Alan" "is" "nice" "-")
((triple3 ((((triple3 triple1 triple4) -> (rule1 % int3)) triple3) -> (rule3 % int2))) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Harry is not big.
Unknown
inv-rconc
[@2: Harry is big.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Harry" "is" "big" "-")
Eric is nice.
Unknown
rconc
[@2: Eric is nice.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Eric" "is" "nice" "+")
Eric is not kind.
Unknown
inv-rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "kind" "-")
Harry is nice.
Unknown
rconc
[@2: Harry is nice.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Harry" "is" "nice" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
@0: Alan is cold.[(triple5)] Alan is green.[(triple4)] Alan is kind.[(triple3)] Alan is red.[(triple2)] Alan is young.[(triple1)] Charlie is big.[(triple7)] Charlie is cold.[(triple6)] Eric is cold.[(triple9)] Eric is rough.[(triple8)] Harry is cold.[(triple12)] Harry is rough.[(triple11)] Harry is round.[(triple10)] @1: Alan is rough.[(((triple3 triple1 triple4) -> rule1))] @2: Alan is big.[(((((triple3 triple1 triple4) -> rule1) triple3) -> rule3))] @3: Alan is nice.[(((triple3 ((((triple3 triple1 triple4) -> rule1) triple3) -> rule3)) -> rule2))]
Alan is cold.
("Alan" "is" "cold" "+")
triple5
Alan is green.
("Alan" "is" "green" "+")
triple4
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Eric is cold.
("Eric" "is" "cold" "+")
triple9
Eric is rough.
("Eric" "is" "rough" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Alan is rough.
("Alan" "is" "rough" "+")
((triple3 triple1 triple4) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
((((triple3 triple1 triple4) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
((triple3 ((((triple3 triple1 triple4) -> (rule1 % int3)) triple3) -> (rule3 % int2))) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Young Alan is kind and perpetually cold, especially during the winter holidays when he is green and red.
Even though he's a big dude, Charlie is cold.
To the touch Eric has rough, cold skin.
Harry loves cake which has made him quite round; Because he has been made fun of for quite some time, he has turned rough and cold towards others.
Kind, young, green persons are sure to be rough persons, too.
Big, kind people are nice.
Rough and kind people are big.
People who are big and kind and feel down and blue tend to have rough skin.
If you find that someone has rough blue skin they are always kind.