Charlie wears all blue. Blue and green Dave is so kind he snowplows the neighbors driveways and everyone thanks him with beer. They always call him rough Eric. Fred who is considered nice was feeling rather rough today. Being a kind person even when you are blue is hard, but it means you are round with delight. Maybe someone is rough and blue with the cold. If a person is red and green, then they will present as big. Young and kind folks are always big. Among cold people, those who are round and kind are also rough. A nice young person will be rough in texture. It's always true that round, kind people are rough as well.
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
If someone is blue and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and blue then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and green then they are big.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and young then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and round and kind then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and nice then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and kind then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Dave is green.
True
1
proof
[(triple3)]
("Dave" "is" "green" "+")
triple3
Dave is not green.
False
1
inv-proof
[(triple3)]
("Dave" "is" "green" "-")
triple3
Dave is round.
True
3
proof
[(((triple4 triple2) -> rule1))]
("Dave" "is" "round" "+")
((triple4 triple2) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is not round.
False
3
inv-proof
[(((triple4 triple2) -> rule1))]
("Dave" "is" "round" "-")
((triple4 triple2) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is rough.
True
5
proof
[(((((triple4 triple2) -> rule1) triple2) -> rule7))]
("Dave" "is" "rough" "+")
((((triple4 triple2) -> (rule1 % int2)) triple2) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is not rough.
False
5
inv-proof
[(((((triple4 triple2) -> rule1) triple2) -> rule7))]
("Dave" "is" "rough" "-")
((((triple4 triple2) -> (rule1 % int2)) triple2) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is cold.
True
7
proof
[(((((((triple4 triple2) -> rule1) triple2) -> rule7) triple4) -> rule2))]
("Dave" "is" "cold" "+")
((((((triple4 triple2) -> (rule1 % int3)) triple2) -> (rule7 % int2)) triple4) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is not cold.
False
7
inv-proof
[(((((((triple4 triple2) -> rule1) triple2) -> rule7) triple4) -> rule2))]
("Dave" "is" "cold" "-")
((((((triple4 triple2) -> (rule1 % int3)) triple2) -> (rule7 % int2)) triple4) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "big" "+")
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "round" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "big" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
@0: Charlie is blue.[(triple1)] Dave is blue.[(triple4)] Dave is green.[(triple3)] Dave is kind.[(triple2)] Eric is rough.[(triple5)] Fred is nice.[(triple7)] Fred is rough.[(triple6)] @1: Dave is round.[(((triple4 triple2) -> rule1))] @2: Dave is rough.[(((((triple4 triple2) -> rule1) triple2) -> rule7))] @3: Dave is cold.[(((((((triple4 triple2) -> rule1) triple2) -> rule7) triple4) -> rule2))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Eric is rough.
("Eric" "is" "rough" "+")
triple5
Fred is nice.
("Fred" "is" "nice" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
((triple4 triple2) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((((triple4 triple2) -> (rule1 % int2)) triple2) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
((((((triple4 triple2) -> (rule1 % int3)) triple2) -> (rule7 % int2)) triple4) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Charlie wears all blue.
Blue and green Dave is so kind he snowplows the neighbors driveways and everyone thanks him with beer.
They always call him rough Eric.
Fred who is considered nice was feeling rather rough today.
Being a kind person even when you are blue is hard, but it means you are round with delight.
Maybe someone is rough and blue with the cold.
If a person is red and green, then they will present as big.
Young and kind folks are always big.
Among cold people, those who are round and kind are also rough.
A nice young person will be rough in texture.
It's always true that round, kind people are rough as well.