From a certain angle Bob is blue but he is young so maybe that will go away. Red Eric is what folks call him, because he is quite red. Fred is both young and fairly round in size. As much as Harry is nice, he is also cold and often feels blue. Nice and blue people have to be big as well. Among the green people who are young, the color blue is always part of them. Anyone with red and blue coloration also has green coloration. A person that is feeling blue and slightly big, is red as well. Nice people are cold people. Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.
Bob is young.
("Bob" "is" "young" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Eric is red.
("Eric" "is" "red" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is nice and blue then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is green and young then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is big and blue then they are red.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is nice then they are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and rough and big then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Harry is blue.
True
1
proof
[(triple8)]
("Harry" "is" "blue" "+")
triple8
Fred is not young.
False
1
inv-proof
[(triple4)]
("Fred" "is" "young" "-")
triple4
Harry is big.
True
3
proof
[(((triple6 triple8) -> rule1))]
("Harry" "is" "big" "+")
((triple6 triple8) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is not big.
False
3
inv-proof
[(((triple6 triple8) -> rule1))]
("Harry" "is" "big" "-")
((triple6 triple8) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
True
5
proof
[(((((triple6 triple8) -> rule1) triple8) -> rule4))]
("Harry" "is" "red" "+")
((((triple6 triple8) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is not red.
False
5
inv-proof
[(((((triple6 triple8) -> rule1) triple8) -> rule4))]
("Harry" "is" "red" "-")
((((triple6 triple8) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
True
7
proof
[(((((((triple6 triple8) -> rule1) triple8) -> rule4) triple8) -> rule3))]
("Harry" "is" "green" "+")
((((((triple6 triple8) -> (rule1 % int3)) triple8) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is not green.
False
7
inv-proof
[(((((((triple6 triple8) -> rule1) triple8) -> rule4) triple8) -> rule3))]
("Harry" "is" "green" "-")
((((((triple6 triple8) -> (rule1 % int3)) triple8) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Fred is not cold.
Unknown
inv-rconc
[@2: Fred is cold.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Fred" "is" "cold" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "nice" "+")
Bob is not cold.
Unknown
inv-rconc
[@2: Bob is cold.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Bob" "is" "cold" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "nice" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is blue.[(triple2)] Bob is young.[(triple1)] Eric is red.[(triple3)] Fred is round.[(triple5)] Fred is young.[(triple4)] Harry is blue.[(triple8)] Harry is cold.[(triple7 OR ((triple6) -> rule5))] Harry is nice.[(triple6)] @1: Harry is big.[(((triple6 triple8) -> rule1))] @2: Harry is red.[(((((triple6 triple8) -> rule1) triple8) -> rule4))] @3: Harry is green.[(((((((triple6 triple8) -> rule1) triple8) -> rule4) triple8) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Eric is red.
("Eric" "is" "red" "+")
triple3
Fred is round.
("Fred" "is" "round" "+")
triple5
Fred is young.
("Fred" "is" "young" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple7
((triple6) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
((triple6 triple8) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((((triple6 triple8) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((((((triple6 triple8) -> (rule1 % int3)) triple8) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
From a certain angle Bob is blue but he is young so maybe that will go away.
Red Eric is what folks call him, because he is quite red.
Fred is both young and fairly round in size.
As much as Harry is nice, he is also cold and often feels blue.
Nice and blue people have to be big as well.
Among the green people who are young, the color blue is always part of them.
Anyone with red and blue coloration also has green coloration.
A person that is feeling blue and slightly big, is red as well.
Nice people are cold people.
Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.