Bob is a man who is both round and rough. Charlie is man who is rough, red, nice, kind, and also green. Eric always goes out of his way to show that he is kind to people. Fred always goes out of his way to show that he is kind to people. Anyone that is a red, nice soul will be big, too. A young person who is red and green is also going to look round. A person with big hair and rough lips is certainly young and jaded. A nice big person who is also round is going to be cold. Round and somewhat big people manage to be kind to everyone. I have found that kind, rough people are both red and cold. Someone can be big and rough, but cold even though they are kind.
If someone is red and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is young and green and red then they are round.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and big then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is round and big and nice then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and big then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and kind and rough then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and rough and big then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Bob is round.
True
1
proof
[(triple1)]
("Bob" "is" "round" "+")
triple1
Charlie is not rough.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "rough" "-")
triple3
Charlie is cold.
True
4
proof
[(((triple4 triple6 triple3) -> rule6) OR ((((((triple3 ((triple4 triple5) -> rule1)) -> rule3) triple7 triple4) -> rule2) ((triple4 triple5) -> rule1) triple5) -> rule4) OR ((triple4 ((((((triple3 ((triple4 triple5) -> rule1)) -> rule3) triple7 triple4) -> rule2) ((triple4 triple5) -> rule1)) -> rule5) triple3) -> rule6))]
("Charlie" "is" "cold" "+")
((triple4 triple6 triple3) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((((((triple3 ((triple4 triple5) -> (rule1 % int4))) -> (rule3 % int3)) triple7 triple4) -> (rule2 % int2)) ((triple4 triple5) -> (rule1 % int4)) triple5) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((triple4 ((((((triple3 ((triple4 triple5) -> (rule1 % int5))) -> (rule3 % int4)) triple7 triple4) -> (rule2 % int3)) ((triple4 triple5) -> (rule1 % int5))) -> (rule5 % int2)) triple3) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is not cold.
False
4
inv-proof
[(((triple4 triple6 triple3) -> rule6) OR ((((((triple3 ((triple4 triple5) -> rule1)) -> rule3) triple7 triple4) -> rule2) ((triple4 triple5) -> rule1) triple5) -> rule4) OR ((triple4 ((((((triple3 ((triple4 triple5) -> rule1)) -> rule3) triple7 triple4) -> rule2) ((triple4 triple5) -> rule1)) -> rule5) triple3) -> rule6))]
("Charlie" "is" "cold" "-")
((triple4 triple6 triple3) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((((((triple3 ((triple4 triple5) -> (rule1 % int4))) -> (rule3 % int3)) triple7 triple4) -> (rule2 % int2)) ((triple4 triple5) -> (rule1 % int4)) triple5) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((triple4 ((((((triple3 ((triple4 triple5) -> (rule1 % int5))) -> (rule3 % int4)) triple7 triple4) -> (rule2 % int3)) ((triple4 triple5) -> (rule1 % int5))) -> (rule5 % int2)) triple3) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is young.
True
5
proof
[(((triple3 ((triple4 triple5) -> rule1)) -> rule3))]
("Charlie" "is" "young" "+")
((triple3 ((triple4 triple5) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is not young.
False
5
inv-proof
[(((triple3 ((triple4 triple5) -> rule1)) -> rule3))]
("Charlie" "is" "young" "-")
((triple3 ((triple4 triple5) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
True
8
proof
[(((((triple3 ((triple4 triple5) -> rule1)) -> rule3) triple7 triple4) -> rule2))]
("Charlie" "is" "round" "+")
((((triple3 ((triple4 triple5) -> (rule1 % int3))) -> (rule3 % int2)) triple7 triple4) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is not round.
False
8
inv-proof
[(((((triple3 ((triple4 triple5) -> rule1)) -> rule3) triple7 triple4) -> rule2))]
("Charlie" "is" "round" "-")
((((triple3 ((triple4 triple5) -> (rule1 % int3))) -> (rule3 % int2)) triple7 triple4) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Eric is not big.
Unknown
inv-rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "big" "-")
Fred is young.
Unknown
rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "young" "+")
Fred is not big.
Unknown
inv-rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "big" "-")
Eric is round.
Unknown
rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "round" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Fred is rough.
Unknown
random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Bob is rough.[(triple2)] Bob is round.[(triple1)] Charlie is green.[(triple7)] Charlie is kind.[(triple6 OR ((((((triple3 ((triple4 triple5) -> rule1)) -> rule3) triple7 triple4) -> rule2) ((triple4 triple5) -> rule1)) -> rule5) OR ((((((((triple3 ((triple4 triple5) -> rule1)) -> rule3) triple7 triple4) -> rule2) ((triple4 triple5) -> rule1) triple5) -> rule4) triple3 ((triple4 triple5) -> rule1)) -> rule7))] Charlie is nice.[(triple5)] Charlie is red.[(triple4)] Charlie is rough.[(triple3)] Eric is kind.[(triple8)] Fred is kind.[(triple9)] @1: Charlie is big.[(((triple4 triple5) -> rule1))] Charlie is cold.[(((triple4 triple6 triple3) -> rule6) OR ((((((triple3 ((triple4 triple5) -> rule1)) -> rule3) triple7 triple4) -> rule2) ((triple4 triple5) -> rule1) triple5) -> rule4) OR ((triple4 ((((((triple3 ((triple4 triple5) -> rule1)) -> rule3) triple7 triple4) -> rule2) ((triple4 triple5) -> rule1)) -> rule5) triple3) -> rule6))] @2: Charlie is young.[(((triple3 ((triple4 triple5) -> rule1)) -> rule3))] @3: Charlie is round.[(((((triple3 ((triple4 triple5) -> rule1)) -> rule3) triple7 triple4) -> rule2))]
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple7
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
((((((triple3 ((triple4 triple5) -> (rule1 % int4))) -> (rule3 % int3)) triple7 triple4) -> (rule2 % int2)) ((triple4 triple5) -> (rule1 % int4))) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple3 ((triple4 triple5) -> (rule1 % int5))) -> (rule3 % int4)) triple7 triple4) -> (rule2 % int3)) ((triple4 triple5) -> (rule1 % int5)) triple5) -> (rule4 % int2)) triple3 ((triple4 triple5) -> (rule1 % int5))) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Eric is kind.
("Eric" "is" "kind" "+")
triple8
Fred is kind.
("Fred" "is" "kind" "+")
triple9
Charlie is big.
("Charlie" "is" "big" "+")
((triple4 triple5) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple4 triple6 triple3) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((((((triple3 ((triple4 triple5) -> (rule1 % int4))) -> (rule3 % int3)) triple7 triple4) -> (rule2 % int2)) ((triple4 triple5) -> (rule1 % int4)) triple5) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((triple4 ((((((triple3 ((triple4 triple5) -> (rule1 % int5))) -> (rule3 % int4)) triple7 triple4) -> (rule2 % int3)) ((triple4 triple5) -> (rule1 % int5))) -> (rule5 % int2)) triple3) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is young.
("Charlie" "is" "young" "+")
((triple3 ((triple4 triple5) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((((triple3 ((triple4 triple5) -> (rule1 % int3))) -> (rule3 % int2)) triple7 triple4) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Bob is a man who is both round and rough.
Charlie is man who is rough, red, nice, kind, and also green.
Eric always goes out of his way to show that he is kind to people.
Fred always goes out of his way to show that he is kind to people.
Anyone that is a red, nice soul will be big, too.
A young person who is red and green is also going to look round.
A person with big hair and rough lips is certainly young and jaded.
A nice big person who is also round is going to be cold.
Round and somewhat big people manage to be kind to everyone.
I have found that kind, rough people are both red and cold.
Someone can be big and rough, but cold even though they are kind.