Alan wears all blue. Bob always goes out of his way to show that he is kind to people. Dave wears all blue. Fred a big man for his young age. he has red hair and can be rough. A person who is described as young and cold, but also described as rough is nice. When you know someone who is young and green you can count on them being nice to everyone. Someone big and rough in shape is always kind. Kind young people that are still blue are generally round shaped. When you meet kind people they wont have a cold heart. People who are rough and cold, but also nice, are considered green. A person that is both nice and young will also be cold.
Alan is blue.
("Alan" "is" "blue" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is young and cold and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and green then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and rough then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and young and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is kind then they are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and cold and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and young then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
Dave is blue.
True
1
proof
[(triple3)]
("Dave" "is" "blue" "+")
triple3
Alan is not blue.
False
1
inv-proof
[(triple1)]
("Alan" "is" "blue" "-")
triple1
Fred is kind.
True
3
proof
[(((triple7 triple5) -> rule3))]
("Fred" "is" "kind" "+")
((triple7 triple5) -> (rule3 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is not kind.
False
3
inv-proof
[(((triple7 triple5) -> rule3))]
("Fred" "is" "kind" "-")
((triple7 triple5) -> (rule3 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is cold.
True
4
proof
[(((((triple7 triple5) -> rule3)) -> rule5))]
("Fred" "is" "cold" "+")
((((triple7 triple5) -> (rule3 % int2))) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is not cold.
False
4
inv-proof
[(((((triple7 triple5) -> rule3)) -> rule5))]
("Fred" "is" "cold" "-")
((((triple7 triple5) -> (rule3 % int2))) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is nice.
True
7
proof
[(((triple4 ((((triple7 triple5) -> rule3)) -> rule5) triple5) -> rule1))]
("Fred" "is" "nice" "+")
((triple4 ((((triple7 triple5) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is not nice.
False
7
inv-proof
[(((triple4 ((((triple7 triple5) -> rule3)) -> rule5) triple5) -> rule1))]
("Fred" "is" "nice" "-")
((triple4 ((((triple7 triple5) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is green.
True
13
proof
[(((triple5 ((((triple7 triple5) -> rule3)) -> rule5) ((triple4 ((((triple7 triple5) -> rule3)) -> rule5) triple5) -> rule1)) -> rule6))]
("Fred" "is" "green" "+")
((triple5 ((((triple7 triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((triple4 ((((triple7 triple5) -> (rule3 % int4))) -> (rule5 % int3)) triple5) -> (rule1 % int2))) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
int4
Fred is not green.
False
13
inv-proof
[(((triple5 ((((triple7 triple5) -> rule3)) -> rule5) ((triple4 ((((triple7 triple5) -> rule3)) -> rule5) triple5) -> rule1)) -> rule6))]
("Fred" "is" "green" "-")
((triple5 ((((triple7 triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((triple4 ((((triple7 triple5) -> (rule3 % int4))) -> (rule5 % int3)) triple5) -> (rule1 % int2))) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
int4
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "round" "-")
Alan is kind.
Unknown
rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "kind" "+")
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "round" "-")
Dave is green.
Unknown
rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "green" "+")
Fred is not round.
Unknown
inv-rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "round" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Alan is blue.[(triple1)] Bob is kind.[(triple2)] Dave is blue.[(triple3)] Fred is big.[(triple7)] Fred is red.[(triple6)] Fred is rough.[(triple5)] Fred is young.[(triple4)] @1: Bob is cold.[(((triple2) -> rule5))] Fred is kind.[(((triple7 triple5) -> rule3))] @2: Fred is cold.[(((((triple7 triple5) -> rule3)) -> rule5))] @3: Fred is nice.[(((triple4 ((((triple7 triple5) -> rule3)) -> rule5) triple5) -> rule1))] @4: Fred is green.[(((triple5 ((((triple7 triple5) -> rule3)) -> rule5) ((triple4 ((((triple7 triple5) -> rule3)) -> rule5) triple5) -> rule1)) -> rule6))]
Alan is blue.
("Alan" "is" "blue" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Dave is blue.
("Dave" "is" "blue" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple7
Fred is red.
("Fred" "is" "red" "+")
triple6
Fred is rough.
("Fred" "is" "rough" "+")
triple5
Fred is young.
("Fred" "is" "young" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
((triple2) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
((triple7 triple5) -> (rule3 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((((triple7 triple5) -> (rule3 % int2))) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
((triple4 ((((triple7 triple5) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is green.
("Fred" "is" "green" "+")
((triple5 ((((triple7 triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((triple4 ((((triple7 triple5) -> (rule3 % int4))) -> (rule5 % int3)) triple5) -> (rule1 % int2))) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
int4
Alan wears all blue.
Bob always goes out of his way to show that he is kind to people.
Dave wears all blue.
Fred a big man for his young age; he has red hair and can be rough.
A person who is described as young and cold, but also described as rough is nice.
When you know someone who is young and green you can count on them being nice to everyone.
Someone big and rough in shape is always kind.
Kind young people that are still blue are generally round shaped.
When you meet kind people they wont have a cold heart.
People who are rough and cold, but also nice, are considered green.
A person that is both nice and young will also be cold.