They always call him rough Alan. Charlie is a man who is both round and rough. Eric is young but big for his age. Eric wasn't feeling well so he is a little green. Harry was born only a few years ago so he is young. All kind, red, and young people are also nice. Being round and nice automatically means a person is kind. Nice green people and often blue with sadness. In every case of people being kind and blue and green, we find they are concurrently nice. People who are round and young are also very nice. All the kind people in blue were young. A big, young aged person that is green will be round shaped.
Alan is rough.
("Alan" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is kind and red and young then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and nice then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and nice then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and blue and green then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and young then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and kind then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is big and green and young then they are round.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Charlie is round.
True
1
proof
[(triple2)]
("Charlie" "is" "round" "+")
triple2
Eric is not big.
False
1
inv-proof
[(triple6)]
("Eric" "is" "big" "-")
triple6
Eric is round.
True
4
proof
[(((triple6 triple5 triple4) -> rule7))]
("Eric" "is" "round" "+")
((triple6 triple5 triple4) -> (rule7 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is not round.
False
4
inv-proof
[(((triple6 triple5 triple4) -> rule7))]
("Eric" "is" "round" "-")
((triple6 triple5 triple4) -> (rule7 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is nice.
True
6
proof
[(((((triple6 triple5 triple4) -> rule7) triple4) -> rule5))]
("Eric" "is" "nice" "+")
((((triple6 triple5 triple4) -> (rule7 % int2)) triple4) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is not nice.
False
6
inv-proof
[(((((triple6 triple5 triple4) -> rule7) triple4) -> rule5))]
("Eric" "is" "nice" "-")
((((triple6 triple5 triple4) -> (rule7 % int2)) triple4) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is kind.
True
11
proof
[(((((triple6 triple5 triple4) -> rule7) ((((triple6 triple5 triple4) -> rule7) triple4) -> rule5)) -> rule2))]
("Eric" "is" "kind" "+")
((((triple6 triple5 triple4) -> (rule7 % int3)) ((((triple6 triple5 triple4) -> (rule7 % int3)) triple4) -> (rule5 % int2))) -> (rule2 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is not blue.
False
8
inv-proof
[(((triple5 ((((triple6 triple5 triple4) -> rule7) triple4) -> rule5)) -> rule3))]
("Eric" "is" "blue" "-")
((triple5 ((((triple6 triple5 triple4) -> (rule7 % int3)) triple4) -> (rule5 % int2))) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Charlie is not nice.
Unknown
inv-rconc
[@3: Charlie is nice.[CWA. Example of deepest failure = (rule5 <- rule6 <- rule3 <- FAIL)]]
("Charlie" "is" "nice" "-")
Alan is young.
Unknown
rconc
[@2: Alan is young.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Alan" "is" "young" "+")
Harry is not kind.
Unknown
inv-rconc
[@2: Harry is kind.[CWA. Example of deepest failure = (rule2 <- rule7 <- FAIL)]]
("Harry" "is" "kind" "-")
Alan is blue.
Unknown
rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "blue" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
@0: Alan is rough.[(triple1)] Charlie is rough.[(triple3)] Charlie is round.[(triple2)] Eric is big.[(triple6)] Eric is green.[(triple5)] Eric is young.[(triple4)] Harry is young.[(triple7)] @1: Eric is round.[(((triple6 triple5 triple4) -> rule7))] @2: Eric is nice.[(((((triple6 triple5 triple4) -> rule7) triple4) -> rule5))] @3: Eric is blue.[(((triple5 ((((triple6 triple5 triple4) -> rule7) triple4) -> rule5)) -> rule3))] Eric is kind.[(((((triple6 triple5 triple4) -> rule7) ((((triple6 triple5 triple4) -> rule7) triple4) -> rule5)) -> rule2))]
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Eric is big.
("Eric" "is" "big" "+")
triple6
Eric is green.
("Eric" "is" "green" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Harry is young.
("Harry" "is" "young" "+")
triple7
Eric is round.
("Eric" "is" "round" "+")
((triple6 triple5 triple4) -> (rule7 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((((triple6 triple5 triple4) -> (rule7 % int2)) triple4) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
((triple5 ((((triple6 triple5 triple4) -> (rule7 % int3)) triple4) -> (rule5 % int2))) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
((((triple6 triple5 triple4) -> (rule7 % int3)) ((((triple6 triple5 triple4) -> (rule7 % int3)) triple4) -> (rule5 % int2))) -> (rule2 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
They always call him rough Alan.
Charlie is a man who is both round and rough.
Eric is young but big for his age; Eric wasn't feeling well so he is a little green.
Harry was born only a few years ago so he is young.
All kind, red, and young people are also nice.
Being round and nice automatically means a person is kind.
Nice green people and often blue with sadness.
In every case of people being kind and blue and green, we find they are concurrently nice.
People who are round and young are also very nice.
All the kind people in blue were young.
A big, young aged person that is green will be round shaped.