Charlie is big. Charlie is blue. Charlie is cold. Charlie is nice. Charlie is red. Charlie is white. Dave is blue. Dave is nice. Dave is rough. Dave is white. Fiona is big. Fiona is blue. Fiona is cold. Fiona is nice. Fiona is rough. Fiona is white. Cold, nice people are red.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Cold, nice people are red.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
Dave is blue.
True
1
proof
[(triple7)]
("Dave" "is" "blue" "+")
triple7
Charlie is not big.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "big" "-")
triple1
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "red" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is cold.[(triple3)] Charlie is nice.[(triple4)] Charlie is red.[(triple5 OR ((triple3 triple4) -> rule1))] Charlie is white.[(triple6)] Dave is blue.[(triple7)] Dave is nice.[(triple8)] Dave is rough.[(triple9)] Dave is white.[(triple10)] Fiona is big.[(triple11)] Fiona is blue.[(triple12)] Fiona is cold.[(triple13)] Fiona is nice.[(triple14)] Fiona is rough.[(triple15)] Fiona is white.[(triple16)] @1: Fiona is red.[(((triple13 triple14) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple5
((triple3 triple4) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
triple6
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple9
Dave is white.
("Dave" "is" "white" "+")
triple10
Fiona is big.
("Fiona" "is" "big" "+")
triple11
Fiona is blue.
("Fiona" "is" "blue" "+")
triple12
Fiona is cold.
("Fiona" "is" "cold" "+")
triple13
Fiona is nice.
("Fiona" "is" "nice" "+")
triple14
Fiona is rough.
("Fiona" "is" "rough" "+")
triple15
Fiona is white.
("Fiona" "is" "white" "+")
triple16
Fiona is red.
("Fiona" "is" "red" "+")
((triple13 triple14) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1