Bob is a person both green and big. When you talk about Charlie, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone. Dave who is considered nice was feeling rather rough today. As much as Gary is nice, he is also cold and often feels blue. Someone who looks rough and feels cold is also kind to others. Kind people that are rough and round are also considered big. A round person who is cold is big. A nice person who is always seen to be wearing green clothes will be rather big in size. A person with a rough quality is also a person with a blue quality. Young and kind folks are always big. Kind people who are also rough are young.
Bob is green.
("Bob" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is rough and cold then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and kind and round then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and round then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is green and nice then they are big.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and young then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and kind then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Dave is nice.
True
1
proof
[(triple7)]
("Dave" "is" "nice" "+")
triple7
Gary is not nice.
False
1
inv-proof
[(triple8)]
("Gary" "is" "nice" "-")
triple8
Charlie is blue.
True
2
proof
[(((triple3) -> rule5))]
("Charlie" "is" "blue" "+")
((triple3) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is not blue.
False
2
inv-proof
[(((triple3) -> rule5))]
("Charlie" "is" "blue" "-")
((triple3) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
True
5
proof
[(((triple3 ((triple3 triple5) -> rule1)) -> rule7))]
("Charlie" "is" "young" "+")
((triple3 ((triple3 triple5) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is not young.
False
5
inv-proof
[(((triple3 ((triple3 triple5) -> rule1)) -> rule7))]
("Charlie" "is" "young" "-")
((triple3 ((triple3 triple5) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
True
9
proof
[(((((triple3 triple5) -> rule1) ((triple3 ((triple3 triple5) -> rule1)) -> rule7)) -> rule6))]
("Charlie" "is" "big" "+")
((((triple3 triple5) -> (rule1 % int3)) ((triple3 ((triple3 triple5) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is not big.
False
9
inv-proof
[(((((triple3 triple5) -> rule1) ((triple3 ((triple3 triple5) -> rule1)) -> rule7)) -> rule6))]
("Charlie" "is" "big" "-")
((((triple3 triple5) -> (rule1 % int3)) ((triple3 ((triple3 triple5) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "blue" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "young" "+")
Gary is not big.
Unknown
inv-rconc
[@2: Gary is big.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Gary" "is" "big" "-")
Dave is young.
Unknown
rconc
[@2: Dave is young.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Dave" "is" "young" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is big.[(triple2)] Bob is green.[(triple1)] Charlie is cold.[(triple5)] Charlie is nice.[(triple4)] Charlie is rough.[(triple3)] Dave is nice.[(triple7)] Dave is rough.[(triple6)] Gary is blue.[(triple10)] Gary is cold.[(triple9)] Gary is nice.[(triple8)] @1: Charlie is blue.[(((triple3) -> rule5))] Charlie is kind.[(((triple3 triple5) -> rule1))] Dave is blue.[(((triple6) -> rule5))] @2: Charlie is young.[(((triple3 ((triple3 triple5) -> rule1)) -> rule7))] @3: Charlie is big.[(((((triple3 triple5) -> rule1) ((triple3 ((triple3 triple5) -> rule1)) -> rule7)) -> rule6))]
Bob is big.
("Bob" "is" "big" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple3) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple3 triple5) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple6) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple3 ((triple3 triple5) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((((triple3 triple5) -> (rule1 % int3)) ((triple3 ((triple3 triple5) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Bob is a person both green and big.
When you talk about Charlie, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone.
Dave who is considered nice was feeling rather rough today.
As much as Gary is nice, he is also cold and often feels blue.
Someone who looks rough and feels cold is also kind to others.
Kind people that are rough and round are also considered big.
A round person who is cold is big.
A nice person who is always seen to be wearing green clothes will be rather big in size.
A person with a rough quality is also a person with a blue quality.
Young and kind folks are always big.
Kind people who are also rough are young.