You should meet Bob, he is big and rough on the football field but also very young in age. Dave, like all young people, is nice. This Fred guy is red. He is also kind and yet cold. Gary is big and tends to wear red shirts. Whoever is rough and red must be kind. A green, downhearted, and blue person with red cheeks is big. A kind person that is also red and rough is usually also nice. All the big and young boys at the park are red. Young round folks who are at least a bit red are actually nice. Anybody with rough, kind and blue aspects will certainly be cold, too. Kind people, for example, like the ones at the bank are always blue.
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is rough and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and red and green then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and red and kind then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and young then they are red.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is red and round and young then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and kind and blue then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind then they are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
Dave is young.
True
1
proof
[(triple4)]
("Dave" "is" "young" "+")
triple4
Fred is not kind.
False
1
inv-proof
[(triple7)]
("Fred" "is" "kind" "-")
triple7
Bob is red.
True
3
proof
[(((triple3 triple1) -> rule4))]
("Bob" "is" "red" "+")
((triple3 triple1) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not red.
False
3
inv-proof
[(((triple3 triple1) -> rule4))]
("Bob" "is" "red" "-")
((triple3 triple1) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is kind.
True
5
proof
[(((triple2 ((triple3 triple1) -> rule4)) -> rule1))]
("Bob" "is" "kind" "+")
((triple2 ((triple3 triple1) -> (rule4 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is not kind.
False
5
inv-proof
[(((triple2 ((triple3 triple1) -> rule4)) -> rule1))]
("Bob" "is" "kind" "-")
((triple2 ((triple3 triple1) -> (rule4 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
True
6
proof
[(((((triple2 ((triple3 triple1) -> rule4)) -> rule1)) -> rule7))]
("Bob" "is" "blue" "+")
((((triple2 ((triple3 triple1) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is not nice.
False
10
inv-proof
[(((triple2 ((triple3 triple1) -> rule4) ((triple2 ((triple3 triple1) -> rule4)) -> rule1)) -> rule3))]
("Bob" "is" "nice" "-")
((triple2 ((triple3 triple1) -> (rule4 % int3)) ((triple2 ((triple3 triple1) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is cold.
True
13
proof
[(((triple2 ((triple2 ((triple3 triple1) -> rule4)) -> rule1) ((((triple2 ((triple3 triple1) -> rule4)) -> rule1)) -> rule7)) -> rule6))]
("Bob" "is" "cold" "+")
((triple2 ((triple2 ((triple3 triple1) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple2 ((triple3 triple1) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is not cold.
False
13
inv-proof
[(((triple2 ((triple2 ((triple3 triple1) -> rule4)) -> rule1) ((((triple2 ((triple3 triple1) -> rule4)) -> rule1)) -> rule7)) -> rule6))]
("Bob" "is" "cold" "-")
((triple2 ((triple2 ((triple3 triple1) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple2 ((triple3 triple1) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "kind" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "cold" "+")
Gary is not blue.
Unknown
inv-rconc
[@2: Gary is blue.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Gary" "is" "blue" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "+")
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "cold" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Bob is big.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Dave is nice.[(triple5)] Dave is young.[(triple4)] Fred is cold.[(triple8)] Fred is kind.[(triple7)] Fred is red.[(triple6)] Gary is big.[(triple10)] Gary is red.[(triple9)] @1: Bob is red.[(((triple3 triple1) -> rule4))] Fred is blue.[(((triple7) -> rule7))] @2: Bob is kind.[(((triple2 ((triple3 triple1) -> rule4)) -> rule1))] @3: Bob is blue.[(((((triple2 ((triple3 triple1) -> rule4)) -> rule1)) -> rule7))] Bob is nice.[(((triple2 ((triple3 triple1) -> rule4) ((triple2 ((triple3 triple1) -> rule4)) -> rule1)) -> rule3))] @4: Bob is cold.[(((triple2 ((triple2 ((triple3 triple1) -> rule4)) -> rule1) ((((triple2 ((triple3 triple1) -> rule4)) -> rule1)) -> rule7)) -> rule6))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple4
Fred is cold.
("Fred" "is" "cold" "+")
triple8
Fred is kind.
("Fred" "is" "kind" "+")
triple7
Fred is red.
("Fred" "is" "red" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Bob is red.
("Bob" "is" "red" "+")
((triple3 triple1) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple7) -> (rule7 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((triple2 ((triple3 triple1) -> (rule4 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
((((triple2 ((triple3 triple1) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
((triple2 ((triple3 triple1) -> (rule4 % int3)) ((triple2 ((triple3 triple1) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
((triple2 ((triple2 ((triple3 triple1) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple2 ((triple3 triple1) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
You should meet Bob, he is big and rough on the football field but also very young in age.
Dave, like all young people, is nice.
This Fred guy is red; He is also kind and yet cold.
Gary is big and tends to wear red shirts.
Whoever is rough and red must be kind.
A green, downhearted, and blue person with red cheeks is big.
A kind person that is also red and rough is usually also nice.
All the big and young boys at the park are red.
Young round folks who are at least a bit red are actually nice.
Anybody with rough, kind and blue aspects will certainly be cold, too.
Kind people, for example, like the ones at the bank are always blue.