Bob is round shaped and green colored. Eric is a person both green and big. My young friend Fred is quite big has rough skin with a green tinge.  He is feeling blue because his dog ran away. A nice person who is green is feeling cold. Young people green with envy are so focused on themselves that they are often describe as cold. That is misleading though because these people are also kind. A very nice and kind person will also be round shaped. Being green and rough are signs that someone is big. If you meet somebody who is young, rough and round, you can be sure they are nice as well. Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person. If you meet a young and kind person who is also rough, they are cold, too.
Bob is round.
("Bob" "is" "round" "+")
Bob is green.
("Bob" "is" "green" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is green and nice then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and cold and young then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and kind then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is green and rough then they are big.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is young and round and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and rough and big then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and young and kind then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Fred is blue.
True
1
proof
[(triple8)]
("Fred" "is" "blue" "+")
triple8
Fred is not green.
False
1
inv-proof
[(triple7)]
("Fred" "is" "green" "-")
triple7
Fred is nice.
True
4
proof
[(((triple8 triple6 triple9) -> rule6) OR ((triple8 triple6 ((triple7 triple6) -> rule4)) -> rule6))]
("Fred" "is" "nice" "+")
((triple8 triple6 triple9) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
((triple8 triple6 ((triple7 triple6) -> (rule4 % int2))) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is not nice.
False
4
inv-proof
[(((triple8 triple6 triple9) -> rule6) OR ((triple8 triple6 ((triple7 triple6) -> rule4)) -> rule6))]
("Fred" "is" "nice" "-")
((triple8 triple6 triple9) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
((triple8 triple6 ((triple7 triple6) -> (rule4 % int2))) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is cold.
True
6
proof
[(((triple7 ((triple8 triple6 triple9) -> rule6)) -> rule1) OR ((triple7 ((triple8 triple6 ((triple7 triple6) -> rule4)) -> rule6)) -> rule1))]
("Fred" "is" "cold" "+")
((triple7 ((triple8 triple6 triple9) -> (rule6 % int2))) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
((triple7 ((triple8 triple6 ((triple7 triple6) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is not cold.
False
6
inv-proof
[(((triple7 ((triple8 triple6 triple9) -> rule6)) -> rule1) OR ((triple7 ((triple8 triple6 ((triple7 triple6) -> rule4)) -> rule6)) -> rule1))]
("Fred" "is" "cold" "-")
((triple7 ((triple8 triple6 triple9) -> (rule6 % int2))) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
((triple7 ((triple8 triple6 ((triple7 triple6) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is kind.
True
9
proof
[(((triple7 ((triple7 ((triple8 triple6 triple9) -> rule6)) -> rule1) triple5) -> rule2) OR ((triple7 ((triple7 ((triple8 triple6 ((triple7 triple6) -> rule4)) -> rule6)) -> rule1) triple5) -> rule2))]
("Fred" "is" "kind" "+")
((triple7 ((triple7 ((triple8 triple6 triple9) -> (rule6 % int3))) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
((triple7 ((triple7 ((triple8 triple6 ((triple7 triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
int4
Fred is not kind.
False
9
inv-proof
[(((triple7 ((triple7 ((triple8 triple6 triple9) -> rule6)) -> rule1) triple5) -> rule2) OR ((triple7 ((triple7 ((triple8 triple6 ((triple7 triple6) -> rule4)) -> rule6)) -> rule1) triple5) -> rule2))]
("Fred" "is" "kind" "-")
((triple7 ((triple7 ((triple8 triple6 triple9) -> (rule6 % int3))) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
((triple7 ((triple7 ((triple8 triple6 ((triple7 triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
int4
Fred is round.
True
14
proof
[(((((triple8 triple6 triple9) -> rule6) ((triple7 ((triple7 ((triple8 triple6 triple9) -> rule6)) -> rule1) triple5) -> rule2)) -> rule3) OR ((((triple8 triple6 ((triple7 triple6) -> rule4)) -> rule6) ((triple7 ((triple7 ((triple8 triple6 triple9) -> rule6)) -> rule1) triple5) -> rule2)) -> rule3) OR ((((triple8 triple6 triple9) -> rule6) ((triple7 ((triple7 ((triple8 triple6 ((triple7 triple6) -> rule4)) -> rule6)) -> rule1) triple5) -> rule2)) -> rule3) OR ((((triple8 triple6 ((triple7 triple6) -> rule4)) -> rule6) ((triple7 ((triple7 ((triple8 triple6 ((triple7 triple6) -> rule4)) -> rule6)) -> rule1) triple5) -> rule2)) -> rule3))]
("Fred" "is" "round" "+")
((((triple8 triple6 triple9) -> (rule6 % int4)) ((triple7 ((triple7 ((triple8 triple6 triple9) -> (rule6 % int4))) -> (rule1 % int3)) triple5) -> (rule2 % int2))) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
((((triple8 triple6 ((triple7 triple6) -> (rule4 % int5))) -> (rule6 % int4)) ((triple7 ((triple7 ((triple8 triple6 triple9) -> (rule6 % int4))) -> (rule1 % int3)) triple5) -> (rule2 % int2))) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
Fred is big.
("Fred" "is" "big" "+")
int5
((((triple8 triple6 triple9) -> (rule6 % int5)) ((triple7 ((triple7 ((triple8 triple6 ((triple7 triple6) -> (rule4 % int4))) -> (rule6 % int5))) -> (rule1 % int3)) triple5) -> (rule2 % int2))) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
int4
Fred is nice.
("Fred" "is" "nice" "+")
int5
((((triple8 triple6 ((triple7 triple6) -> (rule4 % int5))) -> (rule6 % int4)) ((triple7 ((triple7 ((triple8 triple6 ((triple7 triple6) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) triple5) -> (rule2 % int2))) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
Fred is big.
("Fred" "is" "big" "+")
int5
Fred is not round.
False
14
inv-proof
[(((((triple8 triple6 triple9) -> rule6) ((triple7 ((triple7 ((triple8 triple6 triple9) -> rule6)) -> rule1) triple5) -> rule2)) -> rule3) OR ((((triple8 triple6 ((triple7 triple6) -> rule4)) -> rule6) ((triple7 ((triple7 ((triple8 triple6 triple9) -> rule6)) -> rule1) triple5) -> rule2)) -> rule3) OR ((((triple8 triple6 triple9) -> rule6) ((triple7 ((triple7 ((triple8 triple6 ((triple7 triple6) -> rule4)) -> rule6)) -> rule1) triple5) -> rule2)) -> rule3) OR ((((triple8 triple6 ((triple7 triple6) -> rule4)) -> rule6) ((triple7 ((triple7 ((triple8 triple6 ((triple7 triple6) -> rule4)) -> rule6)) -> rule1) triple5) -> rule2)) -> rule3))]
("Fred" "is" "round" "-")
((((triple8 triple6 triple9) -> (rule6 % int4)) ((triple7 ((triple7 ((triple8 triple6 triple9) -> (rule6 % int4))) -> (rule1 % int3)) triple5) -> (rule2 % int2))) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
((((triple8 triple6 ((triple7 triple6) -> (rule4 % int5))) -> (rule6 % int4)) ((triple7 ((triple7 ((triple8 triple6 triple9) -> (rule6 % int4))) -> (rule1 % int3)) triple5) -> (rule2 % int2))) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
Fred is big.
("Fred" "is" "big" "+")
int5
((((triple8 triple6 triple9) -> (rule6 % int5)) ((triple7 ((triple7 ((triple8 triple6 ((triple7 triple6) -> (rule4 % int4))) -> (rule6 % int5))) -> (rule1 % int3)) triple5) -> (rule2 % int2))) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
int4
Fred is nice.
("Fred" "is" "nice" "+")
int5
((((triple8 triple6 ((triple7 triple6) -> (rule4 % int5))) -> (rule6 % int4)) ((triple7 ((triple7 ((triple8 triple6 ((triple7 triple6) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) triple5) -> (rule2 % int2))) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
Fred is big.
("Fred" "is" "big" "+")
int5
Eric is not kind.
Unknown
inv-rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "kind" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "nice" "+")
Eric is not round.
Unknown
inv-rconc
[@2: Eric is round.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Eric" "is" "round" "-")
Bob is big.
Unknown
rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "big" "+")
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "big" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Fred is red.
Unknown
random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Bob is green.[(triple2)] Bob is round.[(triple1)] Eric is big.[(triple4)] Eric is green.[(triple3)] Fred is big.[(triple9 OR ((triple7 triple6) -> rule4))] Fred is blue.[(triple8)] Fred is green.[(triple7)] Fred is rough.[(triple6)] Fred is young.[(triple5)] @1: Fred is nice.[(((triple8 triple6 triple9) -> rule6) OR ((triple8 triple6 ((triple7 triple6) -> rule4)) -> rule6))] @2: Fred is cold.[(((triple7 ((triple8 triple6 triple9) -> rule6)) -> rule1) OR ((triple7 ((triple8 triple6 ((triple7 triple6) -> rule4)) -> rule6)) -> rule1))] @3: Fred is kind.[(((triple7 ((triple7 ((triple8 triple6 triple9) -> rule6)) -> rule1) triple5) -> rule2) OR ((triple7 ((triple7 ((triple8 triple6 ((triple7 triple6) -> rule4)) -> rule6)) -> rule1) triple5) -> rule2))] @4: Fred is round.[(((((triple8 triple6 triple9) -> rule6) ((triple7 ((triple7 ((triple8 triple6 triple9) -> rule6)) -> rule1) triple5) -> rule2)) -> rule3) OR ((((triple8 triple6 ((triple7 triple6) -> rule4)) -> rule6) ((triple7 ((triple7 ((triple8 triple6 triple9) -> rule6)) -> rule1) triple5) -> rule2)) -> rule3) OR ((((triple8 triple6 triple9) -> rule6) ((triple7 ((triple7 ((triple8 triple6 ((triple7 triple6) -> rule4)) -> rule6)) -> rule1) triple5) -> rule2)) -> rule3) OR ((((triple8 triple6 ((triple7 triple6) -> rule4)) -> rule6) ((triple7 ((triple7 ((triple8 triple6 ((triple7 triple6) -> rule4)) -> rule6)) -> rule1) triple5) -> rule2)) -> rule3))]
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple4
Eric is green.
("Eric" "is" "green" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple9
((triple7 triple6) -> (rule4 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
triple8
Fred is green.
("Fred" "is" "green" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple5
Fred is nice.
("Fred" "is" "nice" "+")
((triple8 triple6 triple9) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
((triple8 triple6 ((triple7 triple6) -> (rule4 % int2))) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
((triple7 ((triple8 triple6 triple9) -> (rule6 % int2))) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
((triple7 ((triple8 triple6 ((triple7 triple6) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
((triple7 ((triple7 ((triple8 triple6 triple9) -> (rule6 % int3))) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
((triple7 ((triple7 ((triple8 triple6 ((triple7 triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
int4
Fred is round.
("Fred" "is" "round" "+")
((((triple8 triple6 triple9) -> (rule6 % int4)) ((triple7 ((triple7 ((triple8 triple6 triple9) -> (rule6 % int4))) -> (rule1 % int3)) triple5) -> (rule2 % int2))) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
((((triple8 triple6 ((triple7 triple6) -> (rule4 % int5))) -> (rule6 % int4)) ((triple7 ((triple7 ((triple8 triple6 triple9) -> (rule6 % int4))) -> (rule1 % int3)) triple5) -> (rule2 % int2))) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
Fred is big.
("Fred" "is" "big" "+")
int5
((((triple8 triple6 triple9) -> (rule6 % int5)) ((triple7 ((triple7 ((triple8 triple6 ((triple7 triple6) -> (rule4 % int4))) -> (rule6 % int5))) -> (rule1 % int3)) triple5) -> (rule2 % int2))) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
int4
Fred is nice.
("Fred" "is" "nice" "+")
int5
((((triple8 triple6 ((triple7 triple6) -> (rule4 % int5))) -> (rule6 % int4)) ((triple7 ((triple7 ((triple8 triple6 ((triple7 triple6) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) triple5) -> (rule2 % int2))) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
Fred is big.
("Fred" "is" "big" "+")
int5
Bob is round shaped and green colored.
Eric is a person both green and big.
My young friend Fred is quite big has rough skin with a green tinge; He is feeling blue because his dog ran away.
A nice person who is green is feeling cold.
Young people green with envy are so focused on themselves that they are often describe as cold; That is misleading though because these people are also kind.
A very nice and kind person will also be round shaped.
Being green and rough are signs that someone is big.
If you meet somebody who is young, rough and round, you can be sure they are nice as well.
Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.
If you meet a young and kind person who is also rough, they are cold, too.