Bob is a big, round, nice, and red fellow is looking a bit green righ now. From a certain angle Charlie is blue but he is young so maybe that will go away. Fred is very nice to people, but he's also rather big. Gary wears all blue. When you meet someone round, blue and nice they are as a rule rough. When anyone can be described as nice, young and big, they can also be described as red. People that are big and cold are blue as well. A young aged blue person will certainly be nice. A person with rough skin who has been standing in the cold will turn red. If somebody has the characteristics of being blue, rough and green, they are also going to be cold. When a round individual is nice to others, they are also feeling blue.
Bob is round.
("Bob" "is" "round" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is blue and nice and round then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and big and young then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is big and cold then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and blue then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and rough then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and rough and green then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and nice then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
Gary is blue.
True
1
proof
[(triple10)]
("Gary" "is" "blue" "+")
triple10
Charlie is not young.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "young" "-")
triple6
Charlie is nice.
True
3
proof
[(((triple6 triple7) -> rule4))]
("Charlie" "is" "nice" "+")
((triple6 triple7) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Bob is not blue.
False
3
inv-proof
[(((triple1 triple3) -> rule7))]
("Bob" "is" "blue" "-")
((triple1 triple3) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
True
6
proof
[(((((triple1 triple3) -> rule7) triple3 triple1) -> rule1))]
("Bob" "is" "rough" "+")
((((triple1 triple3) -> (rule7 % int2)) triple3 triple1) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is not rough.
False
6
inv-proof
[(((((triple1 triple3) -> rule7) triple3 triple1) -> rule1))]
("Bob" "is" "rough" "-")
((((triple1 triple3) -> (rule7 % int2)) triple3 triple1) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
True
11
proof
[(((((triple1 triple3) -> rule7) ((((triple1 triple3) -> rule7) triple3 triple1) -> rule1) triple4) -> rule6))]
("Bob" "is" "cold" "+")
((((triple1 triple3) -> (rule7 % int3)) ((((triple1 triple3) -> (rule7 % int3)) triple3 triple1) -> (rule1 % int2)) triple4) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is not cold.
False
11
inv-proof
[(((((triple1 triple3) -> rule7) ((((triple1 triple3) -> rule7) triple3 triple1) -> rule1) triple4) -> rule6))]
("Bob" "is" "cold" "-")
((((triple1 triple3) -> (rule7 % int3)) ((((triple1 triple3) -> (rule7 % int3)) triple3 triple1) -> (rule1 % int2)) triple4) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "rough" "-")
Gary is red.
Unknown
rconc
[@2: Gary is red.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Gary" "is" "red" "+")
Fred is not blue.
Unknown
inv-rconc
[@2: Fred is blue.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Fred" "is" "blue" "-")
Charlie is cold.
Unknown
rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "cold" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Bob is big.[(triple5)] Bob is green.[(triple4)] Bob is nice.[(triple3)] Bob is red.[(triple2 OR ((((((triple1 triple3) -> rule7) ((((triple1 triple3) -> rule7) triple3 triple1) -> rule1) triple4) -> rule6) ((((triple1 triple3) -> rule7) triple3 triple1) -> rule1)) -> rule5))] Bob is round.[(triple1)] Charlie is blue.[(triple7)] Charlie is young.[(triple6)] Fred is big.[(triple9)] Fred is nice.[(triple8)] Gary is blue.[(triple10)] @1: Bob is blue.[(((triple1 triple3) -> rule7))] Charlie is nice.[(((triple6 triple7) -> rule4))] @2: Bob is rough.[(((((triple1 triple3) -> rule7) triple3 triple1) -> rule1))] @3: Bob is cold.[(((((triple1 triple3) -> rule7) ((((triple1 triple3) -> rule7) triple3 triple1) -> rule1) triple4) -> rule6))]
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
((((((triple1 triple3) -> (rule7 % int4)) ((((triple1 triple3) -> (rule7 % int4)) triple3 triple1) -> (rule1 % int3)) triple4) -> (rule6 % int2)) ((((triple1 triple3) -> (rule7 % int4)) triple3 triple1) -> (rule1 % int3))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple7
Charlie is young.
("Charlie" "is" "young" "+")
triple6
Fred is big.
("Fred" "is" "big" "+")
triple9
Fred is nice.
("Fred" "is" "nice" "+")
triple8
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Bob is blue.
("Bob" "is" "blue" "+")
((triple1 triple3) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple6 triple7) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((((triple1 triple3) -> (rule7 % int2)) triple3 triple1) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
((((triple1 triple3) -> (rule7 % int3)) ((((triple1 triple3) -> (rule7 % int3)) triple3 triple1) -> (rule1 % int2)) triple4) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is a big, round, nice, and red fellow is looking a bit green righ now.
From a certain angle Charlie is blue but he is young so maybe that will go away.
Fred is very nice to people, but he's also rather big.
Gary wears all blue.
When you meet someone round, blue and nice they are as a rule rough.
When anyone can be described as nice, young and big, they can also be described as red.
People that are big and cold are blue as well.
A young aged blue person will certainly be nice.
A person with rough skin who has been standing in the cold will turn red.
If somebody has the characteristics of being blue, rough and green, they are also going to be cold.
When a round individual is nice to others, they are also feeling blue.