Charlie is a nice guy who is rather round and looking green,  Because he is also rather cold he is feeling blue. Dave is both young and fairly round in size. Eric was born only a few years ago so he is young. Fred is a nice and kind young man who is quite big in size. You will find that a big, young, blue person is also quite round. Big and green people who feel cold are usually young in age. People who are rough are young. A round shaped and young aged person will be very cold. Nice people who are big are always feeling blue. A person who is green and rough and round is also young. Ifa blue and green colored person is rough then they must be big shaped.
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Eric is young.
("Eric" "is" "young" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is young and big and blue then they are round.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is green and big and cold then they are young.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is rough then they are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is round and young then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and big then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and rough and green then they are young.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and green and rough then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Charlie is cold.
True
1
proof
[(triple4)]
("Charlie" "is" "cold" "+")
triple4
Fred is not nice.
False
1
inv-proof
[(triple10)]
("Fred" "is" "nice" "-")
triple10
Dave is cold.
True
3
proof
[(((triple7 triple6) -> rule4))]
("Dave" "is" "cold" "+")
((triple7 triple6) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not cold.
False
3
inv-proof
[(((triple7 triple6) -> rule4))]
("Dave" "is" "cold" "-")
((triple7 triple6) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Fred is round.
True
6
proof
[(((triple9 triple12 ((triple10 triple12) -> rule5)) -> rule1))]
("Fred" "is" "round" "+")
((triple9 triple12 ((triple10 triple12) -> (rule5 % int2))) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is not round.
False
6
inv-proof
[(((triple9 triple12 ((triple10 triple12) -> rule5)) -> rule1))]
("Fred" "is" "round" "-")
((triple9 triple12 ((triple10 triple12) -> (rule5 % int2))) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is cold.
True
8
proof
[(((((triple9 triple12 ((triple10 triple12) -> rule5)) -> rule1) triple9) -> rule4))]
("Fred" "is" "cold" "+")
((((triple9 triple12 ((triple10 triple12) -> (rule5 % int3))) -> (rule1 % int2)) triple9) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is not cold.
False
8
inv-proof
[(((((triple9 triple12 ((triple10 triple12) -> rule5)) -> rule1) triple9) -> rule4))]
("Fred" "is" "cold" "-")
((((triple9 triple12 ((triple10 triple12) -> (rule5 % int3))) -> (rule1 % int2)) triple9) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "big" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "big" "+")
Eric is not round.
Unknown
inv-rconc
[@2: Eric is round.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("Eric" "is" "round" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Eric" "is" "big" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Charlie is blue.[(triple5)] Charlie is cold.[(triple4)] Charlie is green.[(triple3)] Charlie is nice.[(triple2)] Charlie is round.[(triple1)] Dave is round.[(triple7)] Dave is young.[(triple6)] Eric is young.[(triple8)] Fred is big.[(triple12)] Fred is kind.[(triple11)] Fred is nice.[(triple10)] Fred is young.[(triple9)] @1: Dave is cold.[(((triple7 triple6) -> rule4))] Fred is blue.[(((triple10 triple12) -> rule5))] @2: Fred is round.[(((triple9 triple12 ((triple10 triple12) -> rule5)) -> rule1))] @3: Fred is cold.[(((((triple9 triple12 ((triple10 triple12) -> rule5)) -> rule1) triple9) -> rule4))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Dave is round.
("Dave" "is" "round" "+")
triple7
Dave is young.
("Dave" "is" "young" "+")
triple6
Eric is young.
("Eric" "is" "young" "+")
triple8
Fred is big.
("Fred" "is" "big" "+")
triple12
Fred is kind.
("Fred" "is" "kind" "+")
triple11
Fred is nice.
("Fred" "is" "nice" "+")
triple10
Fred is young.
("Fred" "is" "young" "+")
triple9
Dave is cold.
("Dave" "is" "cold" "+")
((triple7 triple6) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple10 triple12) -> (rule5 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
((triple9 triple12 ((triple10 triple12) -> (rule5 % int2))) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
((((triple9 triple12 ((triple10 triple12) -> (rule5 % int3))) -> (rule1 % int2)) triple9) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Charlie is a nice guy who is rather round and looking green,  Because he is also rather cold he is feeling blue.
Dave is both young and fairly round in size.
Eric was born only a few years ago so he is young.
Fred is a nice and kind young man who is quite big in size.
You will find that a big, young, blue person is also quite round.
Big and green people who feel cold are usually young in age.
People who are rough are young.
A round shaped and young aged person will be very cold.
Nice people who are big are always feeling blue.
A person who is green and rough and round is also young.
Ifa blue and green colored person is rough then they must be big shaped.