Others enjoy Alan's company because he is so nice and kind. Bob always goes out of his way to show that he is kind to people. Charlie is a person both green and big. Gary is nice and kind despite the appearance of his cold, red skin. A big young person that is green will be cold to others. If you meet a young, round person who is nice on the street, offer them your coat because they are cold. Nice young people who are round are also blue. Cold, green people have a habit of eating alot and looking quite round. People that are green tend to be young. Because of the person's young age they are feeling blue due to their big body size causing them to act in a slightly rough manner. An individual with green, blue and big characteristics will also be rough.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is green and young and big then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and nice and young then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and young and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and green then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is young and big and blue then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and blue and big then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Gary is cold.
True
1
proof
[(triple9)]
("Gary" "is" "cold" "+")
triple9
Gary is not red.
False
1
inv-proof
[(triple6)]
("Gary" "is" "red" "-")
triple6
Charlie is young.
True
2
proof
[(((triple4) -> rule5))]
("Charlie" "is" "young" "+")
((triple4) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is not young.
False
2
inv-proof
[(((triple4) -> rule5))]
("Charlie" "is" "young" "-")
((triple4) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
True
5
proof
[(((triple4 ((triple4) -> rule5) triple5) -> rule1))]
("Charlie" "is" "cold" "+")
((triple4 ((triple4) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is not cold.
False
5
inv-proof
[(((triple4 ((triple4) -> rule5) triple5) -> rule1))]
("Charlie" "is" "cold" "-")
((triple4 ((triple4) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
True
7
proof
[(((((triple4 ((triple4) -> rule5) triple5) -> rule1) triple4) -> rule4))]
("Charlie" "is" "round" "+")
((((triple4 ((triple4) -> (rule5 % int3)) triple5) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is not round.
False
7
inv-proof
[(((((triple4 ((triple4) -> rule5) triple5) -> rule1) triple4) -> rule4))]
("Charlie" "is" "round" "-")
((((triple4 ((triple4) -> (rule5 % int3)) triple5) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "blue" "-")
Alan is blue.
Unknown
rconc
[@2: Alan is blue.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Alan" "is" "blue" "+")
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "young" "-")
Alan is round.
Unknown
rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "round" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
@0: Alan is kind.[(triple2)] Alan is nice.[(triple1)] Bob is kind.[(triple3)] Charlie is big.[(triple5)] Charlie is green.[(triple4)] Gary is cold.[(triple9)] Gary is kind.[(triple8)] Gary is nice.[(triple7)] Gary is red.[(triple6)] @1: Charlie is young.[(((triple4) -> rule5))] @2: Charlie is cold.[(((triple4 ((triple4) -> rule5) triple5) -> rule1))] @3: Charlie is round.[(((((triple4 ((triple4) -> rule5) triple5) -> rule1) triple4) -> rule4))]
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
((triple4) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple4 ((triple4) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((((triple4 ((triple4) -> (rule5 % int3)) triple5) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Others enjoy Alan's company because he is so nice and kind.
Bob always goes out of his way to show that he is kind to people.
Charlie is a person both green and big.
Gary is nice and kind despite the appearance of his cold, red skin.
A big young person that is green will be cold to others.
If you meet a young, round person who is nice on the street, offer them your coat because they are cold.
Nice young people who are round are also blue.
Cold, green people have a habit of eating alot and looking quite round.
People that are green tend to be young.
Because of the person's young age they are feeling blue due to their big body size causing them to act in a slightly rough manner.
An individual with green, blue and big characteristics will also be rough.