The dog is red. If someone is nice then they are blue. If someone is blue and kind then they are red. Kind people are red. All kind, blue people are nice. If someone is young then they are red. Red people are kind. If someone is young and red then they are kind. If someone is young then they are red.
The dog is red.
("dog" "is" "red" "+")
If someone is nice then they are blue.
((("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and kind then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
Kind people are red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
All kind, blue people are nice.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
Red people are kind.
((("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and red then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
The dog is red.
True
1
proof
[(triple1)]
("dog" "is" "red" "+")
triple1
The dog is not red.
False
1
inv-proof
[(triple1)]
("dog" "is" "red" "-")
triple1
The dog is kind.
True
2
proof
[(((triple1) -> rule6))]
("dog" "is" "kind" "+")
((triple1) -> (rule6 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is not kind.
False
2
inv-proof
[(((triple1) -> rule6))]
("dog" "is" "kind" "-")
((triple1) -> (rule6 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is not blue.
Unknown
inv-rconc
[@2: The dog is blue.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("dog" "is" "blue" "-")
The dog is nice.
Unknown
rconc
[@2: The dog is nice.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("dog" "is" "nice" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The dog is young.
Unknown
random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "+")
@0: The dog is red.[(triple1)] @1: The dog is kind.[(((triple1) -> rule6))]
The dog is red.
("dog" "is" "red" "+")
triple1
The dog is kind.
("dog" "is" "kind" "+")
((triple1) -> (rule6 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1