Bob is green. Dave is blue. Dave is red. Dave is rough. Dave is smart. Fiona is rough. Fiona is white. Gary is nice. Gary is red. Gary is white. Red, rough people are blue. Rough, white people are red.
Bob is green.
("Bob" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
Red, rough people are blue.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
Rough, white people are red.
((("someone" "is" "rough" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
Fiona is white.
True
1
proof
[(triple7)]
("Fiona" "is" "white" "+")
triple7
Fiona is not white.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "white" "-")
triple7
Fiona is red.
True
3
proof
[(((triple6 triple7) -> rule2))]
("Fiona" "is" "red" "+")
((triple6 triple7) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is not red.
False
3
inv-proof
[(((triple6 triple7) -> rule2))]
("Fiona" "is" "red" "-")
((triple6 triple7) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
True
5
proof
[(((((triple6 triple7) -> rule2) triple6) -> rule1))]
("Fiona" "is" "blue" "+")
((((triple6 triple7) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is not blue.
False
5
inv-proof
[(((((triple6 triple7) -> rule2) triple6) -> rule1))]
("Fiona" "is" "blue" "-")
((((triple6 triple7) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "blue" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "blue" "+")
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "red" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Bob is green.[(triple1)] Dave is blue.[(triple2 OR ((triple3 triple4) -> rule1))] Dave is red.[(triple3)] Dave is rough.[(triple4)] Dave is smart.[(triple5)] Fiona is rough.[(triple6)] Fiona is white.[(triple7)] Gary is nice.[(triple8)] Gary is red.[(triple9)] Gary is white.[(triple10)] @1: Fiona is red.[(((triple6 triple7) -> rule2))] @2: Fiona is blue.[(((((triple6 triple7) -> rule2) triple6) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple2
((triple3 triple4) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Dave is smart.
("Dave" "is" "smart" "+")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is white.
("Gary" "is" "white" "+")
triple10
Fiona is red.
("Fiona" "is" "red" "+")
((triple6 triple7) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((((triple6 triple7) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2