Bob is red, cold in temperature and round shaped. Bob is also very  big. People think that Charlie is round. This might be because he is young and blue. Fred is young and round, he is also green. They always call him rough Harry. A green, downhearted, and blue person with red cheeks is big. That young person is feeling cold because he is green to the situation making his body shape round. Rough young folks are surprisingly kind. When you meet kind people they wont have a cold heart. Young people are rough.
Bob is round.
("Bob" "is" "round" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is green.
("Fred" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is blue and red and green then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is young and cold and green then they are round.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is young and rough then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind then they are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Fred is green.
True
1
proof
[(triple10)]
("Fred" "is" "green" "+")
triple10
Fred is not green.
False
1
inv-proof
[(triple10)]
("Fred" "is" "green" "-")
triple10
Fred is rough.
True
2
proof
[(((triple8) -> rule5))]
("Fred" "is" "rough" "+")
((triple8) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Charlie is not rough.
False
2
inv-proof
[(((triple5) -> rule5))]
("Charlie" "is" "rough" "-")
((triple5) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
True
4
proof
[(((triple5 ((triple5) -> rule5)) -> rule3))]
("Charlie" "is" "kind" "+")
((triple5 ((triple5) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Fred is not kind.
False
4
inv-proof
[(((triple8 ((triple8) -> rule5)) -> rule3))]
("Fred" "is" "kind" "-")
((triple8 ((triple8) -> (rule5 % int2))) -> (rule3 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Charlie is cold.
True
5
proof
[(((((triple5 ((triple5) -> rule5)) -> rule3)) -> rule4))]
("Charlie" "is" "cold" "+")
((((triple5 ((triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is not cold.
False
5
inv-proof
[(((((triple5 ((triple5) -> rule5)) -> rule3)) -> rule4))]
("Charlie" "is" "cold" "-")
((((triple5 ((triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Harry is not cold.
Unknown
inv-rconc
[@2: Harry is cold.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Harry" "is" "cold" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "big" "+")
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "big" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "kind" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Fred is red.
Unknown
random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "+")
@0: Bob is big.[(triple4)] Bob is cold.[(triple3)] Bob is red.[(triple2)] Bob is round.[(triple1)] Charlie is blue.[(triple7)] Charlie is round.[(triple6)] Charlie is young.[(triple5)] Fred is green.[(triple10)] Fred is round.[(triple9 OR ((triple8 ((((triple8 ((triple8) -> rule5)) -> rule3)) -> rule4) triple10) -> rule2))] Fred is young.[(triple8)] Harry is rough.[(triple11)] @1: Charlie is rough.[(((triple5) -> rule5))] Fred is rough.[(((triple8) -> rule5))] @2: Charlie is kind.[(((triple5 ((triple5) -> rule5)) -> rule3))] Fred is kind.[(((triple8 ((triple8) -> rule5)) -> rule3))] @3: Charlie is cold.[(((((triple5 ((triple5) -> rule5)) -> rule3)) -> rule4))] Fred is cold.[(((((triple8 ((triple8) -> rule5)) -> rule3)) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Fred is green.
("Fred" "is" "green" "+")
triple10
Fred is round.
("Fred" "is" "round" "+")
triple9
((triple8 ((((triple8 ((triple8) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule4 % int2)) triple10) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
Fred is young.
("Fred" "is" "young" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple5) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
((triple8) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple5 ((triple5) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
((triple8 ((triple8) -> (rule5 % int2))) -> (rule3 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((((triple5 ((triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Fred is cold.
("Fred" "is" "cold" "+")
((((triple8 ((triple8) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Bob is red, cold in temperature and round shaped; Bob is also very  big.
People think that Charlie is round; This might be because he is young and blue.
Fred is young and round, he is also green.
They always call him rough Harry.
A green, downhearted, and blue person with red cheeks is big.
That young person is feeling cold because he is green to the situation making his body shape round.
Rough young folks are surprisingly kind.
When you meet kind people they wont have a cold heart.
Young people are rough.