Bob is round shaped and green colored. Dave is interestingly colored red and blue, and is also very kind. Eric is a rather big guy with rough features. He's pretty red and green, most of the time. Fred was looking rather round and feeling rather cold, but people thought he is kind. If people are cold they are often red. People who are blue and green are nice. Show me someone who is cold and kind, and I'll show you how green they are. Young, kind people have a habit of being nice. People that are green tend to be young. Big, blue people are red.
If someone is cold then they are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and green then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and kind then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and young then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and big then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
Bob is green.
True
1
proof
[(triple2)]
("Bob" "is" "green" "+")
triple2
Dave is not red.
False
1
inv-proof
[(triple3)]
("Dave" "is" "red" "-")
triple3
Fred is red.
True
2
proof
[(((triple12) -> rule1))]
("Fred" "is" "red" "+")
((triple12) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is not green.
False
3
inv-proof
[(((triple12 triple11) -> rule3))]
("Fred" "is" "green" "-")
((triple12 triple11) -> (rule3 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is young.
True
4
proof
[(((((triple12 triple11) -> rule3)) -> rule5))]
("Fred" "is" "young" "+")
((((triple12 triple11) -> (rule3 % int2))) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is not young.
False
4
inv-proof
[(((((triple12 triple11) -> rule3)) -> rule5))]
("Fred" "is" "young" "-")
((((triple12 triple11) -> (rule3 % int2))) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is nice.
True
6
proof
[(((triple11 ((((triple12 triple11) -> rule3)) -> rule5)) -> rule4))]
("Fred" "is" "nice" "+")
((triple11 ((((triple12 triple11) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is not nice.
False
6
inv-proof
[(((triple11 ((((triple12 triple11) -> rule3)) -> rule5)) -> rule4))]
("Fred" "is" "nice" "-")
((triple11 ((((triple12 triple11) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Dave is not nice.
Unknown
inv-rconc
[@3: Dave is nice.[CWA. Example of deepest failure = (rule4 <- rule5 <- rule3 <- FAIL)]]
("Dave" "is" "nice" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "nice" "+")
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "red" "-")
Dave is young.
Unknown
rconc
[@2: Dave is young.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Dave" "is" "young" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
@0: Bob is green.[(triple2)] Bob is round.[(triple1)] Dave is blue.[(triple5)] Dave is kind.[(triple4)] Dave is red.[(triple3)] Eric is big.[(triple9)] Eric is green.[(triple8)] Eric is red.[(triple7)] Eric is rough.[(triple6)] Fred is cold.[(triple12)] Fred is kind.[(triple11)] Fred is round.[(triple10)] @1: Bob is young.[(((triple2) -> rule5))] Eric is young.[(((triple8) -> rule5))] Fred is green.[(((triple12 triple11) -> rule3))] Fred is red.[(((triple12) -> rule1))] @2: Fred is young.[(((((triple12 triple11) -> rule3)) -> rule5))] @3: Fred is nice.[(((triple11 ((((triple12 triple11) -> rule3)) -> rule5)) -> rule4))]
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple3
Eric is big.
("Eric" "is" "big" "+")
triple9
Eric is green.
("Eric" "is" "green" "+")
triple8
Eric is red.
("Eric" "is" "red" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Fred is cold.
("Fred" "is" "cold" "+")
triple12
Fred is kind.
("Fred" "is" "kind" "+")
triple11
Fred is round.
("Fred" "is" "round" "+")
triple10
Bob is young.
("Bob" "is" "young" "+")
((triple2) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((triple8) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((triple12 triple11) -> (rule3 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple12) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
((((triple12 triple11) -> (rule3 % int2))) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
((triple11 ((((triple12 triple11) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Bob is round shaped and green colored.
Dave is interestingly colored red and blue, and is also very kind.
Eric is a rather big guy with rough features; He's pretty red and green, most of the time.
Fred was looking rather round and feeling rather cold, but people thought he is kind.
If people are cold they are often red.
People who are blue and green are nice.
Show me someone who is cold and kind, and I'll show you how green they are.
Young, kind people have a habit of being nice.
People that are green tend to be young.
Big, blue people are red.