Bob is blue. Bob is furry. Bob is green. Bob is kind. Bob is nice. Dave is blue. Dave is green. Dave is kind. Dave is nice. Erin is green. Erin is nice. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is red. If someone is kind and green then they are red.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
If someone is kind and green then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
Bob is green.
True
1
proof
[(triple3)]
("Bob" "is" "green" "+")
triple3
Dave is not green.
False
1
inv-proof
[(triple7)]
("Dave" "is" "green" "-")
triple7
Dave is red.
True
3
proof
[(((triple8 triple7) -> rule1))]
("Dave" "is" "red" "+")
((triple8 triple7) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is not red.
False
3
inv-proof
[(((triple8 triple7) -> rule1))]
("Dave" "is" "red" "-")
((triple8 triple7) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Erin is not red.
Unknown
inv-rconc
[@1: Erin is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "red" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is kind.[(triple4)] Bob is nice.[(triple5)] Dave is blue.[(triple6)] Dave is green.[(triple7)] Dave is kind.[(triple8)] Dave is nice.[(triple9)] Erin is green.[(triple10)] Erin is nice.[(triple11)] Fiona is blue.[(triple12)] Fiona is furry.[(triple13)] Fiona is kind.[(triple14)] Fiona is nice.[(triple15)] Fiona is red.[(triple16)] @1: Bob is red.[(((triple4 triple3) -> rule1))] Dave is red.[(((triple8 triple7) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple5
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple8
Dave is nice.
("Dave" "is" "nice" "+")
triple9
Erin is green.
("Erin" "is" "green" "+")
triple10
Erin is nice.
("Erin" "is" "nice" "+")
triple11
Fiona is blue.
("Fiona" "is" "blue" "+")
triple12
Fiona is furry.
("Fiona" "is" "furry" "+")
triple13
Fiona is kind.
("Fiona" "is" "kind" "+")
triple14
Fiona is nice.
("Fiona" "is" "nice" "+")
triple15
Fiona is red.
("Fiona" "is" "red" "+")
triple16
Bob is red.
("Bob" "is" "red" "+")
((triple4 triple3) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple8 triple7) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1