Alan is a nice and red, but very kind person as soon as you meet him. This Bob guy is red. He is also kind and yet cold. In the snow sits Charlie, crying from being cold. Dave is a nice and red, but very kind person as soon as you meet him. A green person who is kind and a bit blue is young. People who are rough around the edges, nice, and a bit blue are young. A kind and cold person who is green is, surprisingly, also blue. Show me someone who is cold and kind, and I'll show you how green they are. If you meet someone who is young and cold, then will most definitely be red. If a person is quite big and also round then they are certainly rough too.
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
If someone is blue and kind and green then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and nice and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and cold and green then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and kind then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is young and cold then they are red.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is big and round then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
Bob is kind.
True
1
proof
[(triple5)]
("Bob" "is" "kind" "+")
triple5
Alan is not kind.
False
1
inv-proof
[(triple3)]
("Alan" "is" "kind" "-")
triple3
Bob is green.
True
3
proof
[(((triple6 triple5) -> rule4))]
("Bob" "is" "green" "+")
((triple6 triple5) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is not green.
False
3
inv-proof
[(((triple6 triple5) -> rule4))]
("Bob" "is" "green" "-")
((triple6 triple5) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
True
6
proof
[(((triple5 triple6 ((triple6 triple5) -> rule4)) -> rule3))]
("Bob" "is" "blue" "+")
((triple5 triple6 ((triple6 triple5) -> (rule4 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is not blue.
False
6
inv-proof
[(((triple5 triple6 ((triple6 triple5) -> rule4)) -> rule3))]
("Bob" "is" "blue" "-")
((triple5 triple6 ((triple6 triple5) -> (rule4 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
True
11
proof
[(((((triple5 triple6 ((triple6 triple5) -> rule4)) -> rule3) triple5 ((triple6 triple5) -> rule4)) -> rule1))]
("Bob" "is" "young" "+")
((((triple5 triple6 ((triple6 triple5) -> (rule4 % int3))) -> (rule3 % int2)) triple5 ((triple6 triple5) -> (rule4 % int3))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is not young.
False
11
inv-proof
[(((((triple5 triple6 ((triple6 triple5) -> rule4)) -> rule3) triple5 ((triple6 triple5) -> rule4)) -> rule1))]
("Bob" "is" "young" "-")
((((triple5 triple6 ((triple6 triple5) -> (rule4 % int3))) -> (rule3 % int2)) triple5 ((triple6 triple5) -> (rule4 % int3))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Alan is not young.
Unknown
inv-rconc
[@2: Alan is young.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Alan" "is" "young" "-")
Alan is blue.
Unknown
rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "blue" "+")
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "rough" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "young" "+")
Alan is not round.
Unknown
inv-random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
@0: Alan is kind.[(triple3)] Alan is nice.[(triple2)] Alan is red.[(triple1)] Bob is cold.[(triple6)] Bob is kind.[(triple5)] Bob is red.[(triple4 OR ((((((triple5 triple6 ((triple6 triple5) -> rule4)) -> rule3) triple5 ((triple6 triple5) -> rule4)) -> rule1) triple6) -> rule5))] Charlie is cold.[(triple7)] Dave is kind.[(triple10)] Dave is nice.[(triple9)] Dave is red.[(triple8)] @1: Bob is green.[(((triple6 triple5) -> rule4))] @2: Bob is blue.[(((triple5 triple6 ((triple6 triple5) -> rule4)) -> rule3))] @3: Bob is young.[(((((triple5 triple6 ((triple6 triple5) -> rule4)) -> rule3) triple5 ((triple6 triple5) -> rule4)) -> rule1))]
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple6
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple4
((((((triple5 triple6 ((triple6 triple5) -> (rule4 % int4))) -> (rule3 % int3)) triple5 ((triple6 triple5) -> (rule4 % int4))) -> (rule1 % int2)) triple6) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple10
Dave is nice.
("Dave" "is" "nice" "+")
triple9
Dave is red.
("Dave" "is" "red" "+")
triple8
Bob is green.
("Bob" "is" "green" "+")
((triple6 triple5) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((triple5 triple6 ((triple6 triple5) -> (rule4 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((((triple5 triple6 ((triple6 triple5) -> (rule4 % int3))) -> (rule3 % int2)) triple5 ((triple6 triple5) -> (rule4 % int3))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Alan is a nice and red, but very kind person as soon as you meet him.
This Bob guy is red; He is also kind and yet cold.
In the snow sits Charlie, crying from being cold.
Dave is a nice and red, but very kind person as soon as you meet him.
A green person who is kind and a bit blue is young.
People who are rough around the edges, nice, and a bit blue are young.
A kind and cold person who is green is, surprisingly, also blue.
Show me someone who is cold and kind, and I'll show you how green they are.
If you meet someone who is young and cold, then will most definitely be red.
If a person is quite big and also round then they are certainly rough too.