Alan is a young and nice man, and he is also very big shaped. Charlie is cold and rough with strangers, but nice with his family, even when he is green with envy at their accomplishments. Dave is a very kind, green but sometimes cold person. Though they were big and nice, they simultaneously were rough and aloof and seemed cold to others. If someone is blue and rough, they always see red in others. Green, nice people who have round shapes are going to be kind to you. A person that is blue green and nice are that way because they are still young. People who are young, while being red and cold, are big people. A good thing to remember is that rough and green people are round as well. Most kind and cold people are also big.
Alan is young.
("Alan" "is" "young" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
If someone is rough and big and nice then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and rough then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is green and round and nice then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and green and nice then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is young and red and cold then they are big.
((("someone" "is" "young" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and green then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and cold then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
Alan is big.
True
1
proof
[(triple3)]
("Alan" "is" "big" "+")
triple3
Alan is not young.
False
1
inv-proof
[(triple1)]
("Alan" "is" "young" "-")
triple1
Charlie is round.
True
3
proof
[(((triple4 triple6) -> rule6))]
("Charlie" "is" "round" "+")
((triple4 triple6) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Dave is not big.
False
3
inv-proof
[(((triple8 triple10) -> rule7))]
("Dave" "is" "big" "-")
((triple8 triple10) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Charlie is kind.
True
6
proof
[(((triple6 ((triple4 triple6) -> rule6) triple5) -> rule3))]
("Charlie" "is" "kind" "+")
((triple6 ((triple4 triple6) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is not kind.
False
6
inv-proof
[(((triple6 ((triple4 triple6) -> rule6) triple5) -> rule3))]
("Charlie" "is" "kind" "-")
((triple6 ((triple4 triple6) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is big.
True
8
proof
[(((((triple6 ((triple4 triple6) -> rule6) triple5) -> rule3) triple7) -> rule7))]
("Charlie" "is" "big" "+")
((((triple6 ((triple4 triple6) -> (rule6 % int3)) triple5) -> (rule3 % int2)) triple7) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is not big.
False
8
inv-proof
[(((((triple6 ((triple4 triple6) -> rule6) triple5) -> rule3) triple7) -> rule7))]
("Charlie" "is" "big" "-")
((((triple6 ((triple4 triple6) -> (rule6 % int3)) triple5) -> (rule3 % int2)) triple7) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Eric is not red.
Unknown
inv-rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "red" "-")
Charlie is red.
Unknown
rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "red" "+")
Eric is not kind.
Unknown
inv-rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "kind" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "round" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
@0: Alan is big.[(triple3)] Alan is nice.[(triple2)] Alan is young.[(triple1)] Charlie is cold.[(triple7)] Charlie is green.[(triple6)] Charlie is nice.[(triple5)] Charlie is rough.[(triple4)] Dave is cold.[(triple10)] Dave is green.[(triple9)] Dave is kind.[(triple8)] @1: Charlie is round.[(((triple4 triple6) -> rule6))] Dave is big.[(((triple8 triple10) -> rule7))] @2: Charlie is kind.[(((triple6 ((triple4 triple6) -> rule6) triple5) -> rule3))] @3: Charlie is big.[(((((triple6 ((triple4 triple6) -> rule6) triple5) -> rule3) triple7) -> rule7))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple7
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple10
Dave is green.
("Dave" "is" "green" "+")
triple9
Dave is kind.
("Dave" "is" "kind" "+")
triple8
Charlie is round.
("Charlie" "is" "round" "+")
((triple4 triple6) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((triple8 triple10) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple6 ((triple4 triple6) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((((triple6 ((triple4 triple6) -> (rule6 % int3)) triple5) -> (rule3 % int2)) triple7) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Alan is a young and nice man, and he is also very big shaped.
Charlie is cold and rough with strangers, but nice with his family, even when he is green with envy at their accomplishments.
Dave is a very kind, green but sometimes cold person.
Though they were big and nice, they simultaneously were rough and aloof and seemed cold to others.
If someone is blue and rough, they always see red in others.
Green, nice people who have round shapes are going to be kind to you.
A person that is blue green and nice are that way because they are still young.
People who are young, while being red and cold, are big people.
A good thing to remember is that rough and green people are round as well.
Most kind and cold people are also big.