Alan fits the description of someone who is rough, red and blue. Bob is a nice person who is red because he has a rash. Eric is young, he is also red and green. Others enjoy Harry's company because he is so nice and kind. A big person who is red and nice to others is also young. A young aged and blue colored person will certainly be round. A red colored person who is kind and feels cold is usually considered nice. Red people feel blue about it. Young people green with envy are so focused on themselves that they are often describe as cold. That is misleading though because these people are also kind. Blue, young and round people are usually big.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is green.
("Eric" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is red and nice and big then they are young.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is young and blue then they are round.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is red and kind and cold then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and cold and young then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and young and round then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Harry is nice.
True
1
proof
[(triple9)]
("Harry" "is" "nice" "+")
triple9
Bob is not nice.
False
1
inv-proof
[(triple5)]
("Bob" "is" "nice" "-")
triple5
Eric is blue.
True
2
proof
[(((triple7) -> rule4))]
("Eric" "is" "blue" "+")
((triple7) -> (rule4 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Bob is not blue.
False
2
inv-proof
[(((triple4) -> rule4))]
("Bob" "is" "blue" "-")
((triple4) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Eric is round.
True
4
proof
[(((triple6 ((triple7) -> rule4)) -> rule2))]
("Eric" "is" "round" "+")
((triple6 ((triple7) -> (rule4 % int2))) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is not round.
False
4
inv-proof
[(((triple6 ((triple7) -> rule4)) -> rule2))]
("Eric" "is" "round" "-")
((triple6 ((triple7) -> (rule4 % int2))) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is big.
True
8
proof
[(((((triple7) -> rule4) triple6 ((triple6 ((triple7) -> rule4)) -> rule2)) -> rule6))]
("Eric" "is" "big" "+")
((((triple7) -> (rule4 % int3)) triple6 ((triple6 ((triple7) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is not big.
False
8
inv-proof
[(((((triple7) -> rule4) triple6 ((triple6 ((triple7) -> rule4)) -> rule2)) -> rule6))]
("Eric" "is" "big" "-")
((((triple7) -> (rule4 % int3)) triple6 ((triple6 ((triple7) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Harry is not big.
Unknown
inv-rconc
[@2: Harry is big.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("Harry" "is" "big" "-")
Eric is kind.
Unknown
rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "kind" "+")
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "young" "-")
Bob is big.
Unknown
rconc
[@2: Bob is big.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Bob" "is" "big" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Alan is blue.[(triple3 OR ((triple2) -> rule4))] Alan is red.[(triple2)] Alan is rough.[(triple1)] Bob is nice.[(triple5)] Bob is red.[(triple4)] Eric is green.[(triple8)] Eric is red.[(triple7)] Eric is young.[(triple6)] Harry is kind.[(triple10)] Harry is nice.[(triple9)] @1: Bob is blue.[(((triple4) -> rule4))] Eric is blue.[(((triple7) -> rule4))] @2: Eric is round.[(((triple6 ((triple7) -> rule4)) -> rule2))] @3: Eric is big.[(((((triple7) -> rule4) triple6 ((triple6 ((triple7) -> rule4)) -> rule2)) -> rule6))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
((triple2) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple4
Eric is green.
("Eric" "is" "green" "+")
triple8
Eric is red.
("Eric" "is" "red" "+")
triple7
Eric is young.
("Eric" "is" "young" "+")
triple6
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Bob is blue.
("Bob" "is" "blue" "+")
((triple4) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((triple7) -> (rule4 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
((triple6 ((triple7) -> (rule4 % int2))) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
((((triple7) -> (rule4 % int3)) triple6 ((triple6 ((triple7) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Alan fits the description of someone who is rough, red and blue.
Bob is a nice person who is red because he has a rash.
Eric is young, he is also red and green.
Others enjoy Harry's company because he is so nice and kind.
A big person who is red and nice to others is also young.
A young aged and blue colored person will certainly be round.
A red colored person who is kind and feels cold is usually considered nice.
Red people feel blue about it.
Young people green with envy are so focused on themselves that they are often describe as cold; That is misleading though because these people are also kind.
Blue, young and round people are usually big.