Red Bob is what folks call him, because he is quite red. Dave is blue and cold. Eric, a green man, was also big, but underneath he was kind. Even though big Fred can be rough and cold, he is nice for someone as red as he is. His cheeks were red from the cold, and his big blue eye were watering. A big young person that is green will be cold to others. Blue people who are cold are always round in shape. A nice and colored blue person will be rather big. Rough young folks are surprisingly kind. Cold and kind people tend to be blue. Someone who is round like a dumpling and cold like an icicle are very young in age.
Bob is red.
("Bob" "is" "red" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is red and big and cold then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and young and big then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and nice then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is young and rough then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and kind then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and cold then they are young.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
Fred is rough.
True
1
proof
[(triple7)]
("Fred" "is" "rough" "+")
triple7
Fred is not big.
False
1
inv-proof
[(triple11)]
("Fred" "is" "big" "-")
triple11
Fred is blue.
True
4
proof
[(((triple8 triple11 triple10) -> rule1))]
("Fred" "is" "blue" "+")
((triple8 triple11 triple10) -> (rule1 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Dave is not round.
False
3
inv-proof
[(((triple3 triple2) -> rule3))]
("Dave" "is" "round" "-")
((triple3 triple2) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Fred is round.
True
6
proof
[(((((triple8 triple11 triple10) -> rule1) triple10) -> rule3))]
("Fred" "is" "round" "+")
((((triple8 triple11 triple10) -> (rule1 % int2)) triple10) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is not round.
False
6
inv-proof
[(((((triple8 triple11 triple10) -> rule1) triple10) -> rule3))]
("Fred" "is" "round" "-")
((((triple8 triple11 triple10) -> (rule1 % int2)) triple10) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is young.
True
8
proof
[(((((((triple8 triple11 triple10) -> rule1) triple10) -> rule3) triple10) -> rule7))]
("Fred" "is" "young" "+")
((((((triple8 triple11 triple10) -> (rule1 % int3)) triple10) -> (rule3 % int2)) triple10) -> (rule7 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is not young.
False
8
inv-proof
[(((((((triple8 triple11 triple10) -> rule1) triple10) -> rule3) triple10) -> rule7))]
("Fred" "is" "young" "-")
((((((triple8 triple11 triple10) -> (rule1 % int3)) triple10) -> (rule3 % int2)) triple10) -> (rule7 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is kind.
True
10
proof
[(((((((((triple8 triple11 triple10) -> rule1) triple10) -> rule3) triple10) -> rule7) triple7) -> rule5))]
("Fred" "is" "kind" "+")
((((((((triple8 triple11 triple10) -> (rule1 % int4)) triple10) -> (rule3 % int3)) triple10) -> (rule7 % int2)) triple7) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Fred is not kind.
False
10
inv-proof
[(((((((((triple8 triple11 triple10) -> rule1) triple10) -> rule3) triple10) -> rule7) triple7) -> rule5))]
("Fred" "is" "kind" "-")
((((((((triple8 triple11 triple10) -> (rule1 % int4)) triple10) -> (rule3 % int3)) triple10) -> (rule7 % int2)) triple7) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Bob is not blue.
Unknown
inv-rconc
[@2: Bob is blue.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Bob" "is" "blue" "-")
Bob is young.
Unknown
rconc
[@2: Bob is young.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("Bob" "is" "young" "+")
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "cold" "-")
Bob is big.
Unknown
rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "big" "+")
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "kind" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
@0: Bob is red.[(triple1)] Dave is blue.[(triple3)] Dave is cold.[(triple2)] Eric is big.[(triple6)] Eric is green.[(triple5)] Eric is kind.[(triple4)] Fred is big.[(triple11)] Fred is cold.[(triple10)] Fred is nice.[(triple9)] Fred is red.[(triple8)] Fred is rough.[(triple7)] @1: Dave is round.[(((triple3 triple2) -> rule3))] Fred is blue.[(((triple8 triple11 triple10) -> rule1))] @2: Dave is young.[(((((triple3 triple2) -> rule3) triple2) -> rule7))] Fred is round.[(((((triple8 triple11 triple10) -> rule1) triple10) -> rule3))] @3: Fred is young.[(((((((triple8 triple11 triple10) -> rule1) triple10) -> rule3) triple10) -> rule7))] @4: Fred is kind.[(((((((((triple8 triple11 triple10) -> rule1) triple10) -> rule3) triple10) -> rule7) triple7) -> rule5))]
Bob is red.
("Bob" "is" "red" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple3
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Eric is big.
("Eric" "is" "big" "+")
triple6
Eric is green.
("Eric" "is" "green" "+")
triple5
Eric is kind.
("Eric" "is" "kind" "+")
triple4
Fred is big.
("Fred" "is" "big" "+")
triple11
Fred is cold.
("Fred" "is" "cold" "+")
triple10
Fred is nice.
("Fred" "is" "nice" "+")
triple9
Fred is red.
("Fred" "is" "red" "+")
triple8
Fred is rough.
("Fred" "is" "rough" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
((triple3 triple2) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple8 triple11 triple10) -> (rule1 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((((triple3 triple2) -> (rule3 % int2)) triple2) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
((((triple8 triple11 triple10) -> (rule1 % int2)) triple10) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
((((((triple8 triple11 triple10) -> (rule1 % int3)) triple10) -> (rule3 % int2)) triple10) -> (rule7 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
((((((((triple8 triple11 triple10) -> (rule1 % int4)) triple10) -> (rule3 % int3)) triple10) -> (rule7 % int2)) triple7) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Red Bob is what folks call him, because he is quite red.
Dave is blue and cold.
Eric, a green man, was also big, but underneath he was kind.
Even though big Fred can be rough and cold, he is nice for someone as red as he is.
His cheeks were red from the cold, and his big blue eye were watering.
A big young person that is green will be cold to others.
Blue people who are cold are always round in shape.
A nice and colored blue person will be rather big.
Rough young folks are surprisingly kind.
Cold and kind people tend to be blue.
Someone who is round like a dumpling and cold like an icicle are very young in age.