Alan has a young round face that makes him look nice and kind, but he is really rather cold. They always call him rough Bob. Red Eric is what folks call him, because he is quite red. Fred is big and dresses in blue. If someone is blue and rough, they always see red in others. Someone who is both red and blue will also be a nice person. A big person in size will definitely be rough. A big rough person are also young of age. Anybody with big, rough and nice qualities is bound to also be young. People,though rough and red,tend to be cold too. A green and red colored person who has a nice temperament will be cold.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is blue and rough then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is red and blue then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is big then they are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and rough then they are young.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is big and rough and nice then they are young.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and nice and red then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
Fred is blue.
True
1
proof
[(triple8)]
("Fred" "is" "blue" "+")
triple8
Alan is not nice.
False
1
inv-proof
[(triple3)]
("Alan" "is" "nice" "-")
triple3
Fred is rough.
True
2
proof
[(((triple9) -> rule3))]
("Fred" "is" "rough" "+")
((triple9) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is not rough.
False
2
inv-proof
[(((triple9) -> rule3))]
("Fred" "is" "rough" "-")
((triple9) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is red.
True
4
proof
[(((triple8 ((triple9) -> rule3)) -> rule1))]
("Fred" "is" "red" "+")
((triple8 ((triple9) -> (rule3 % int2))) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is not young.
False
4
inv-proof
[(((triple9 ((triple9) -> rule3)) -> rule4) OR ((triple9 ((triple9) -> rule3) ((((triple8 ((triple9) -> rule3)) -> rule1) triple8) -> rule2)) -> rule5))]
("Fred" "is" "young" "-")
((triple9 ((triple9) -> (rule3 % int2))) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
((triple9 ((triple9) -> (rule3 % int4)) ((((triple8 ((triple9) -> (rule3 % int4))) -> (rule1 % int3)) triple8) -> (rule2 % int2))) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
Fred is nice.
True
6
proof
[(((((triple8 ((triple9) -> rule3)) -> rule1) triple8) -> rule2))]
("Fred" "is" "nice" "+")
((((triple8 ((triple9) -> (rule3 % int3))) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is not nice.
False
6
inv-proof
[(((((triple8 ((triple9) -> rule3)) -> rule1) triple8) -> rule2))]
("Fred" "is" "nice" "-")
((((triple8 ((triple9) -> (rule3 % int3))) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Alan is not rough.
Unknown
inv-rconc
[@1: Alan is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "rough" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "young" "+")
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "red" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "nice" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
Alan is not big.
Unknown
inv-random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
@0: Alan is cold.[(triple5)] Alan is kind.[(triple4)] Alan is nice.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Bob is rough.[(triple6)] Eric is red.[(triple7)] Fred is big.[(triple9)] Fred is blue.[(triple8)] @1: Fred is rough.[(((triple9) -> rule3))] @2: Fred is red.[(((triple8 ((triple9) -> rule3)) -> rule1))] Fred is young.[(((triple9 ((triple9) -> rule3)) -> rule4) OR ((triple9 ((triple9) -> rule3) ((((triple8 ((triple9) -> rule3)) -> rule1) triple8) -> rule2)) -> rule5))] @3: Fred is cold.[(((((triple9) -> rule3) ((triple8 ((triple9) -> rule3)) -> rule1)) -> rule6))] Fred is nice.[(((((triple8 ((triple9) -> rule3)) -> rule1) triple8) -> rule2))]
Alan is cold.
("Alan" "is" "cold" "+")
triple5
Alan is kind.
("Alan" "is" "kind" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple6
Eric is red.
("Eric" "is" "red" "+")
triple7
Fred is big.
("Fred" "is" "big" "+")
triple9
Fred is blue.
("Fred" "is" "blue" "+")
triple8
Fred is rough.
("Fred" "is" "rough" "+")
((triple9) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple8 ((triple9) -> (rule3 % int2))) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
((triple9 ((triple9) -> (rule3 % int2))) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
((triple9 ((triple9) -> (rule3 % int4)) ((((triple8 ((triple9) -> (rule3 % int4))) -> (rule1 % int3)) triple8) -> (rule2 % int2))) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
Fred is cold.
("Fred" "is" "cold" "+")
((((triple9) -> (rule3 % int3)) ((triple8 ((triple9) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
((((triple8 ((triple9) -> (rule3 % int3))) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Alan has a young round face that makes him look nice and kind, but he is really rather cold.
They always call him rough Bob.
Red Eric is what folks call him, because he is quite red.
Fred is big and dresses in blue.
If someone is blue and rough, they always see red in others.
Someone who is both red and blue will also be a nice person.
A big person in size will definitely be rough.
A big rough person are also young of age.
Anybody with big, rough and nice qualities is bound to also be young.
People,though rough and red,tend to be cold too.
A green and red colored person who has a nice temperament will be cold.