Even though Bob is big and round, he is cold much of the time. Young, round Charlie is green and very cold, but also nice. My friend Dave is very young. People say he is nice for having a round shape. Because someone is green and kind they are extremely nice to people. A nice person who is always seen to be wearing green clothes will be rather big in size. When someone feels cold, while being big and rough, they always turn out to be red. You can count on someone who is red and green being young. Anyone who's got young, round and big traits is bound to have a red trait, too. John is round and rough, meaning that he is someone that is seen as green. People who are cold and and red are also young and kind.
Bob is round.
("Bob" "is" "round" "+")
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 nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
If someone is green and kind then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and nice then they are big.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and big and rough then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is red and green then they are young.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is young and big and round then they are red.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is round and rough then they are green.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is red and young and cold then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Dave is young.
True
1
proof
[(triple9)]
("Dave" "is" "young" "+")
triple9
Charlie is not nice.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "nice" "-")
triple6
Charlie is big.
True
3
proof
[(((triple7 triple6) -> rule2))]
("Charlie" "is" "big" "+")
((triple7 triple6) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is not big.
False
3
inv-proof
[(((triple7 triple6) -> rule2))]
("Charlie" "is" "big" "-")
((triple7 triple6) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
True
6
proof
[(((triple4 ((triple7 triple6) -> rule2) triple5) -> rule5))]
("Charlie" "is" "red" "+")
((triple4 ((triple7 triple6) -> (rule2 % int2)) triple5) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is not red.
False
6
inv-proof
[(((triple4 ((triple7 triple6) -> rule2) triple5) -> rule5))]
("Charlie" "is" "red" "-")
((triple4 ((triple7 triple6) -> (rule2 % int2)) triple5) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is kind.
True
9
proof
[(((((triple4 ((triple7 triple6) -> rule2) triple5) -> rule5) triple4 triple8) -> rule7))]
("Charlie" "is" "kind" "+")
((((triple4 ((triple7 triple6) -> (rule2 % int3)) triple5) -> (rule5 % int2)) triple4 triple8) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is not kind.
False
9
inv-proof
[(((((triple4 ((triple7 triple6) -> rule2) triple5) -> rule5) triple4 triple8) -> rule7))]
("Charlie" "is" "kind" "-")
((((triple4 ((triple7 triple6) -> (rule2 % int3)) triple5) -> (rule5 % int2)) triple4 triple8) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Fred is not big.
Unknown
inv-rconc
[@2: Fred is big.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Fred" "is" "big" "-")
Fred is nice.
Unknown
rconc
[@2: Fred is nice.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Fred" "is" "nice" "+")
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "kind" "-")
Bob is nice.
Unknown
rconc
[@2: Bob is nice.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Bob" "is" "nice" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Bob is big.[(triple3)] Bob is cold.[(triple2)] Bob is round.[(triple1)] Charlie is cold.[(triple8)] Charlie is green.[(triple7)] Charlie is nice.[(triple6)] Charlie is round.[(triple5)] Charlie is young.[(triple4)] Dave is nice.[(triple11)] Dave is round.[(triple10)] Dave is young.[(triple9)] @1: Charlie is big.[(((triple7 triple6) -> rule2))] @2: Charlie is red.[(((triple4 ((triple7 triple6) -> rule2) triple5) -> rule5))] @3: Charlie is kind.[(((((triple4 ((triple7 triple6) -> rule2) triple5) -> rule5) triple4 triple8) -> rule7))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple8
Charlie is green.
("Charlie" "is" "green" "+")
triple7
Charlie is nice.
("Charlie" "is" "nice" "+")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple11
Dave is round.
("Dave" "is" "round" "+")
triple10
Dave is young.
("Dave" "is" "young" "+")
triple9
Charlie is big.
("Charlie" "is" "big" "+")
((triple7 triple6) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((triple4 ((triple7 triple6) -> (rule2 % int2)) triple5) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((((triple4 ((triple7 triple6) -> (rule2 % int3)) triple5) -> (rule5 % int2)) triple4 triple8) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Even though Bob is big and round, he is cold much of the time.
Young, round Charlie is green and very cold, but also nice.
My friend Dave is very young; People say he is nice for having a round shape.
Because someone is green and kind they are extremely nice to people.
A nice person who is always seen to be wearing green clothes will be rather big in size.
When someone feels cold, while being big and rough, they always turn out to be red.
You can count on someone who is red and green being young.
Anyone who's got young, round and big traits is bound to have a red trait, too.
John is round and rough, meaning that he is someone that is seen as green.
People who are cold and and red are also young and kind.