Charlie looks red to most people, with blue features. Gary a big man for his young age. he has red hair and can be rough. Harry is a red fellow who habitually looks blue. He's often cold. Big, kind people are nice. Red and round people are nice to others even though they are big. Rough and green people are also nice. Being cold and blue made them rough to deal with. When you know someone who's red, rough and nice, you'll also see that they're cold. Nice people who are green and red will also have round shapes. A young, big sized person will certainly be a kind one.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is kind and big then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and round and red then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and green then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and blue then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and red and rough then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and nice and red then they are round.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is young and big then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Charlie is red.
True
1
proof
[(triple1)]
("Charlie" "is" "red" "+")
triple1
Charlie is not red.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "red" "-")
triple1
Harry is rough.
True
3
proof
[(((triple8 triple9) -> rule4))]
("Harry" "is" "rough" "+")
((triple8 triple9) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not rough.
False
3
inv-proof
[(((triple8 triple9) -> rule4))]
("Harry" "is" "rough" "-")
((triple8 triple9) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Gary is nice.
True
5
proof
[(((((triple3 triple6) -> rule7) triple6) -> rule1))]
("Gary" "is" "nice" "+")
((((triple3 triple6) -> (rule7 % int2)) triple6) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is not nice.
False
5
inv-proof
[(((((triple3 triple6) -> rule7) triple6) -> rule1))]
("Gary" "is" "nice" "-")
((((triple3 triple6) -> (rule7 % int2)) triple6) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
True
8
proof
[(((((((triple3 triple6) -> rule7) triple6) -> rule1) triple5 triple4) -> rule5))]
("Gary" "is" "cold" "+")
((((((triple3 triple6) -> (rule7 % int3)) triple6) -> (rule1 % int2)) triple5 triple4) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is not cold.
False
8
inv-proof
[(((((((triple3 triple6) -> rule7) triple6) -> rule1) triple5 triple4) -> rule5))]
("Gary" "is" "cold" "-")
((((((triple3 triple6) -> (rule7 % int3)) triple6) -> (rule1 % int2)) triple5 triple4) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Fred is not nice.
Unknown
inv-rconc
[@2: Fred is nice.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("Fred" "is" "nice" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "round" "+")
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "round" "-")
Charlie is cold.
Unknown
rconc
[@2: Charlie is cold.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Charlie" "is" "cold" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Charlie is blue.[(triple2)] Charlie is red.[(triple1)] Gary is big.[(triple6)] Gary is red.[(triple5)] Gary is rough.[(triple4)] Gary is young.[(triple3)] Harry is blue.[(triple9)] Harry is cold.[(triple8)] Harry is red.[(triple7)] @1: Gary is kind.[(((triple3 triple6) -> rule7))] Harry is rough.[(((triple8 triple9) -> rule4))] @2: Gary is nice.[(((((triple3 triple6) -> rule7) triple6) -> rule1))] @3: Gary is cold.[(((((((triple3 triple6) -> rule7) triple6) -> rule1) triple5 triple4) -> rule5))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple4
Gary is young.
("Gary" "is" "young" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
((triple3 triple6) -> (rule7 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple8 triple9) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((((triple3 triple6) -> (rule7 % int2)) triple6) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((((((triple3 triple6) -> (rule7 % int3)) triple6) -> (rule1 % int2)) triple5 triple4) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Charlie looks red to most people, with blue features.
Gary a big man for his young age; he has red hair and can be rough.
Harry is a red fellow who habitually looks blue; He's often cold.
Big, kind people are nice.
Red and round people are nice to others even though they are big.
Rough and green people are also nice.
Being cold and blue made them rough to deal with.
When you know someone who's red, rough and nice, you'll also see that they're cold.
Nice people who are green and red will also have round shapes.
A young, big sized person will certainly be a kind one.