From a certain angle Bob is blue but he is young so maybe that will go away. In the snow sits Eric, crying from being cold. Fred is big and round, with rosy red skin. He works outside and is cold but is always kind. If you have a big and round shape then you are going to be young, too. If someone is green skinned and has a big nose then you'll find that they often are nice to their family. People who are red, young, and round are also blue. Anyone with red and blue coloration also has green coloration. Though their hands were rough and cold they were also kind, which is how I could tell that they were young.
Bob is young.
("Bob" "is" "young" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is round and big then they are young.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is green and big then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and red and young then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("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 kind and rough and cold then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
Fred is red.
True
1
proof
[(triple5)]
("Fred" "is" "red" "+")
triple5
Fred is not big.
False
1
inv-proof
[(triple8)]
("Fred" "is" "big" "-")
triple8
Fred is young.
True
3
proof
[(((triple4 triple8) -> rule1))]
("Fred" "is" "young" "+")
((triple4 triple8) -> (rule1 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is not young.
False
3
inv-proof
[(((triple4 triple8) -> rule1))]
("Fred" "is" "young" "-")
((triple4 triple8) -> (rule1 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is blue.
True
6
proof
[(((triple4 triple5 ((triple4 triple8) -> rule1)) -> rule3))]
("Fred" "is" "blue" "+")
((triple4 triple5 ((triple4 triple8) -> (rule1 % int2))) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is not blue.
False
6
inv-proof
[(((triple4 triple5 ((triple4 triple8) -> rule1)) -> rule3))]
("Fred" "is" "blue" "-")
((triple4 triple5 ((triple4 triple8) -> (rule1 % int2))) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is green.
True
8
proof
[(((triple5 ((triple4 triple5 ((triple4 triple8) -> rule1)) -> rule3)) -> rule4))]
("Fred" "is" "green" "+")
((triple5 ((triple4 triple5 ((triple4 triple8) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is not green.
False
8
inv-proof
[(((triple5 ((triple4 triple5 ((triple4 triple8) -> rule1)) -> rule3)) -> rule4))]
("Fred" "is" "green" "-")
((triple5 ((triple4 triple5 ((triple4 triple8) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is nice.
True
10
proof
[(((((triple5 ((triple4 triple5 ((triple4 triple8) -> rule1)) -> rule3)) -> rule4) triple8) -> rule2))]
("Fred" "is" "nice" "+")
((((triple5 ((triple4 triple5 ((triple4 triple8) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule4 % int2)) triple8) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
Fred is not nice.
False
10
inv-proof
[(((((triple5 ((triple4 triple5 ((triple4 triple8) -> rule1)) -> rule3)) -> rule4) triple8) -> rule2))]
("Fred" "is" "nice" "-")
((((triple5 ((triple4 triple5 ((triple4 triple8) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule4 % int2)) triple8) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "blue" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "nice" "+")
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "green" "-")
Eric is green.
Unknown
rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "green" "+")
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "nice" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Bob is blue.[(triple2)] Bob is young.[(triple1)] Eric is cold.[(triple3)] Fred is big.[(triple8)] Fred is cold.[(triple7)] Fred is kind.[(triple6)] Fred is red.[(triple5)] Fred is round.[(triple4)] @1: Fred is young.[(((triple4 triple8) -> rule1))] @2: Fred is blue.[(((triple4 triple5 ((triple4 triple8) -> rule1)) -> rule3))] @3: Fred is green.[(((triple5 ((triple4 triple5 ((triple4 triple8) -> rule1)) -> rule3)) -> rule4))] @4: Fred is nice.[(((((triple5 ((triple4 triple5 ((triple4 triple8) -> rule1)) -> rule3)) -> rule4) triple8) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple8
Fred is cold.
("Fred" "is" "cold" "+")
triple7
Fred is kind.
("Fred" "is" "kind" "+")
triple6
Fred is red.
("Fred" "is" "red" "+")
triple5
Fred is round.
("Fred" "is" "round" "+")
triple4
Fred is young.
("Fred" "is" "young" "+")
((triple4 triple8) -> (rule1 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple4 triple5 ((triple4 triple8) -> (rule1 % int2))) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
((triple5 ((triple4 triple5 ((triple4 triple8) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
((((triple5 ((triple4 triple5 ((triple4 triple8) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule4 % int2)) triple8) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
From a certain angle Bob is blue but he is young so maybe that will go away.
In the snow sits Eric, crying from being cold.
Fred is big and round, with rosy red skin; He works outside and is cold but is always kind.
If you have a big and round shape then you are going to be young, too.
If someone is green skinned and has a big nose then you'll find that they often are nice to their family.
People who are red, young, and round are also blue.
Anyone with red and blue coloration also has green coloration.
Though their hands were rough and cold they were also kind, which is how I could tell that they were young.