That big rough Bob guy is both red and blue at the same time. Even though Fred is rough, he nice but cold and blue. Because Harry is so young, he is rough and cold when he can be round instead. Nice and blue people have to be big as well. A person who is described as young and cold, but also described as rough is nice. People who are rough around the edges, nice, and a bit blue are young. A big blue someone could also be green. If red and slightly green people are asked, they will tell you they feel blue. Round, young folks tend to feel blue. Nice green people who feel blue are often red in color.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is nice and blue then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is young and cold and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and nice and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is green and red then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and young then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and blue and nice then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
Fred is nice.
True
1
proof
[(triple6)]
("Fred" "is" "nice" "+")
triple6
Fred is not nice.
False
1
inv-proof
[(triple6)]
("Fred" "is" "nice" "-")
triple6
Bob is green.
True
3
proof
[(((triple3 triple4) -> rule4))]
("Bob" "is" "green" "+")
((triple3 triple4) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Fred is not big.
False
3
inv-proof
[(((triple6 triple8) -> rule1))]
("Fred" "is" "big" "-")
((triple6 triple8) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is green.
True
5
proof
[(((triple8 ((triple6 triple8) -> rule1)) -> rule4))]
("Fred" "is" "green" "+")
((triple8 ((triple6 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is not green.
False
5
inv-proof
[(((triple8 ((triple6 triple8) -> rule1)) -> rule4))]
("Fred" "is" "green" "-")
((triple8 ((triple6 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is red.
True
8
proof
[(((((triple8 ((triple6 triple8) -> rule1)) -> rule4) triple8 triple6) -> rule7))]
("Fred" "is" "red" "+")
((((triple8 ((triple6 triple8) -> (rule1 % int3))) -> (rule4 % int2)) triple8 triple6) -> (rule7 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is not red.
False
8
inv-proof
[(((((triple8 ((triple6 triple8) -> rule1)) -> rule4) triple8 triple6) -> rule7))]
("Fred" "is" "red" "-")
((((triple8 ((triple6 triple8) -> (rule1 % int3))) -> (rule4 % int2)) triple8 triple6) -> (rule7 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Harry is red.
True
20
proof
[(((((((triple10 triple9) -> rule6) ((((triple9 triple12 triple11) -> rule2) ((triple10 triple9) -> rule6)) -> rule1)) -> rule4) ((triple10 triple9) -> rule6) ((triple9 triple12 triple11) -> rule2)) -> rule7))]
("Harry" "is" "red" "+")
((((((triple10 triple9) -> (rule6 % int5)) ((((triple9 triple12 triple11) -> (rule2 % int4)) ((triple10 triple9) -> (rule6 % int5))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple10 triple9) -> (rule6 % int5)) ((triple9 triple12 triple11) -> (rule2 % int4))) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Harry is not red.
False
20
inv-proof
[(((((((triple10 triple9) -> rule6) ((((triple9 triple12 triple11) -> rule2) ((triple10 triple9) -> rule6)) -> rule1)) -> rule4) ((triple10 triple9) -> rule6) ((triple9 triple12 triple11) -> rule2)) -> rule7))]
("Harry" "is" "red" "-")
((((((triple10 triple9) -> (rule6 % int5)) ((((triple9 triple12 triple11) -> (rule2 % int4)) ((triple10 triple9) -> (rule6 % int5))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple10 triple9) -> (rule6 % int5)) ((triple9 triple12 triple11) -> (rule2 % int4))) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "nice" "-")
Bob is young.
Unknown
rconc
[@2: Bob is young.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Bob" "is" "young" "+")
Charlie is not big.
Unknown
inv-rconc
[@2: Charlie is big.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Charlie" "is" "big" "-")
Charlie is green.
Unknown
rconc
[@2: Charlie is green.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Charlie" "is" "green" "+")
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "young" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
@0: Bob is big.[(triple4)] Bob is blue.[(triple3)] Bob is red.[(triple2)] Bob is rough.[(triple1)] Fred is blue.[(triple8)] Fred is cold.[(triple7)] Fred is nice.[(triple6)] Fred is rough.[(triple5)] Harry is cold.[(triple12)] Harry is rough.[(triple11)] Harry is round.[(triple10)] Harry is young.[(triple9)] @1: Bob is green.[(((triple3 triple4) -> rule4))] Fred is big.[(((triple6 triple8) -> rule1))] Fred is young.[(((triple5 triple6 triple8) -> rule3))] Harry is blue.[(((triple10 triple9) -> rule6))] Harry is nice.[(((triple9 triple12 triple11) -> rule2))] @2: Fred is green.[(((triple8 ((triple6 triple8) -> rule1)) -> rule4))] Harry is big.[(((((triple9 triple12 triple11) -> rule2) ((triple10 triple9) -> rule6)) -> rule1))] @3: Fred is red.[(((((triple8 ((triple6 triple8) -> rule1)) -> rule4) triple8 triple6) -> rule7))] Harry is green.[(((((triple10 triple9) -> rule6) ((((triple9 triple12 triple11) -> rule2) ((triple10 triple9) -> rule6)) -> rule1)) -> rule4))] @4: Harry is red.[(((((((triple10 triple9) -> rule6) ((((triple9 triple12 triple11) -> rule2) ((triple10 triple9) -> rule6)) -> rule1)) -> rule4) ((triple10 triple9) -> rule6) ((triple9 triple12 triple11) -> rule2)) -> rule7))]
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple8
Fred is cold.
("Fred" "is" "cold" "+")
triple7
Fred is nice.
("Fred" "is" "nice" "+")
triple6
Fred is rough.
("Fred" "is" "rough" "+")
triple5
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Bob is green.
("Bob" "is" "green" "+")
((triple3 triple4) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
((triple6 triple8) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
((triple5 triple6 triple8) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple10 triple9) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple9 triple12 triple11) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((triple8 ((triple6 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((((triple9 triple12 triple11) -> (rule2 % int3)) ((triple10 triple9) -> (rule6 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
((((triple8 ((triple6 triple8) -> (rule1 % int3))) -> (rule4 % int2)) triple8 triple6) -> (rule7 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
((((triple10 triple9) -> (rule6 % int4)) ((((triple9 triple12 triple11) -> (rule2 % int3)) ((triple10 triple9) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
((((((triple10 triple9) -> (rule6 % int5)) ((((triple9 triple12 triple11) -> (rule2 % int4)) ((triple10 triple9) -> (rule6 % int5))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple10 triple9) -> (rule6 % int5)) ((triple9 triple12 triple11) -> (rule2 % int4))) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
That big rough Bob guy is both red and blue at the same time.
Even though Fred is rough, he nice but cold and blue.
Because Harry is so young, he is rough and cold when he can be round instead.
Nice and blue people have to be big as well.
A person who is described as young and cold, but also described as rough is nice.
People who are rough around the edges, nice, and a bit blue are young.
A big blue someone could also be green.
If red and slightly green people are asked, they will tell you they feel blue.
Round, young folks tend to feel blue.
Nice green people who feel blue are often red in color.