Charlie looks red to most people, with blue features. Eric looks red to most people, with blue features. We know Fred is round and red, yet somehow he is also green, in addition to being cold, blue, and big. A person who is described as round and rough is usually kind. A nice young person who is rough around the edges is big. If you meet a person who is green, big and blue, you will find them to be nice. A person with big hair and rough lips is certainly young and jaded. Nice people who are big in stature often look rough. People who are nice and rough are looked at as kind.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is round and rough then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and nice and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and green and big then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and big then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and big then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and rough then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Eric is red.
True
1
proof
[(triple3)]
("Eric" "is" "red" "+")
triple3
Fred is not green.
False
1
inv-proof
[(triple7)]
("Fred" "is" "green" "-")
triple7
Fred is nice.
True
4
proof
[(((triple9 triple7 triple10) -> rule3))]
("Fred" "is" "nice" "+")
((triple9 triple7 triple10) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is not nice.
False
4
inv-proof
[(((triple9 triple7 triple10) -> rule3))]
("Fred" "is" "nice" "-")
((triple9 triple7 triple10) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is rough.
True
6
proof
[(((((triple9 triple7 triple10) -> rule3) triple10) -> rule5))]
("Fred" "is" "rough" "+")
((((triple9 triple7 triple10) -> (rule3 % int2)) triple10) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is not rough.
False
6
inv-proof
[(((((triple9 triple7 triple10) -> rule3) triple10) -> rule5))]
("Fred" "is" "rough" "-")
((((triple9 triple7 triple10) -> (rule3 % int2)) triple10) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is young.
True
8
proof
[(((((((triple9 triple7 triple10) -> rule3) triple10) -> rule5) triple10) -> rule4))]
("Fred" "is" "young" "+")
((((((triple9 triple7 triple10) -> (rule3 % int3)) triple10) -> (rule5 % int2)) triple10) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is not kind.
False
8
inv-proof
[(((triple5 ((((triple9 triple7 triple10) -> rule3) triple10) -> rule5)) -> rule1) OR ((((triple9 triple7 triple10) -> rule3) ((((triple9 triple7 triple10) -> rule3) triple10) -> rule5)) -> rule6))]
("Fred" "is" "kind" "-")
((triple5 ((((triple9 triple7 triple10) -> (rule3 % int3)) triple10) -> (rule5 % int2))) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
((((triple9 triple7 triple10) -> (rule3 % int3)) ((((triple9 triple7 triple10) -> (rule3 % int3)) triple10) -> (rule5 % int2))) -> (rule6 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Harry is not rough.
Unknown
inv-rconc
[@2: Harry is rough.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Harry" "is" "rough" "-")
Charlie is big.
Unknown
rconc
[@2: Charlie is big.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Charlie" "is" "big" "+")
Harry is not young.
Unknown
inv-rconc
[@2: Harry is young.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Harry" "is" "young" "-")
Charlie is rough.
Unknown
rconc
[@2: Charlie is rough.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Charlie" "is" "rough" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
@0: Charlie is blue.[(triple2)] Charlie is red.[(triple1)] Eric is blue.[(triple4)] Eric is red.[(triple3)] Fred is big.[(triple10)] Fred is blue.[(triple9)] Fred is cold.[(triple8)] Fred is green.[(triple7)] Fred is red.[(triple6)] Fred is round.[(triple5)] @1: Fred is nice.[(((triple9 triple7 triple10) -> rule3))] @2: Fred is rough.[(((((triple9 triple7 triple10) -> rule3) triple10) -> rule5))] @3: Fred is kind.[(((triple5 ((((triple9 triple7 triple10) -> rule3) triple10) -> rule5)) -> rule1) OR ((((triple9 triple7 triple10) -> rule3) ((((triple9 triple7 triple10) -> rule3) triple10) -> rule5)) -> rule6))] Fred is young.[(((((((triple9 triple7 triple10) -> rule3) triple10) -> rule5) triple10) -> rule4))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple4
Eric is red.
("Eric" "is" "red" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple10
Fred is blue.
("Fred" "is" "blue" "+")
triple9
Fred is cold.
("Fred" "is" "cold" "+")
triple8
Fred is green.
("Fred" "is" "green" "+")
triple7
Fred is red.
("Fred" "is" "red" "+")
triple6
Fred is round.
("Fred" "is" "round" "+")
triple5
Fred is nice.
("Fred" "is" "nice" "+")
((triple9 triple7 triple10) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
((((triple9 triple7 triple10) -> (rule3 % int2)) triple10) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
((triple5 ((((triple9 triple7 triple10) -> (rule3 % int3)) triple10) -> (rule5 % int2))) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
((((triple9 triple7 triple10) -> (rule3 % int3)) ((((triple9 triple7 triple10) -> (rule3 % int3)) triple10) -> (rule5 % int2))) -> (rule6 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
((((((triple9 triple7 triple10) -> (rule3 % int3)) triple10) -> (rule5 % int2)) triple10) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Charlie looks red to most people, with blue features.
Eric looks red to most people, with blue features.
We know Fred is round and red, yet somehow he is also green, in addition to being cold, blue, and big.
A person who is described as round and rough is usually kind.
A nice young person who is rough around the edges is big.
If you meet a person who is green, big and blue, you will find them to be nice.
A person with big hair and rough lips is certainly young and jaded.
Nice people who are big in stature often look rough.
People who are nice and rough are looked at as kind.