Charlie is big. Charlie is furry. Dave is nice. Erin is nice. Erin is white. Fiona is big. Fiona is blue. Fiona is green. Fiona is nice. Fiona is white. Big people are green. If Dave is green then Dave is big.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Big people are green.
((("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If Dave is green then Dave is big.
((("Dave" "is" "green" "+")) -> ("Dave" "is" "big" "+"))
Fiona is blue.
True
1
proof
[(triple7)]
("Fiona" "is" "blue" "+")
triple7
Charlie is not furry.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "furry" "-")
triple2
Dave is not green.
Unknown
inv-rconc
[@2: Dave is green.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Dave" "is" "green" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Dave is nice.[(triple3)] Erin is nice.[(triple4)] Erin is white.[(triple5)] Fiona is big.[(triple6)] Fiona is blue.[(triple7)] Fiona is green.[(triple8 OR ((triple6) -> rule1))] Fiona is nice.[(triple9)] Fiona is white.[(triple10)] @1: Charlie is green.[(((triple1) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Erin is nice.
("Erin" "is" "nice" "+")
triple4
Erin is white.
("Erin" "is" "white" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
Fiona is green.
("Fiona" "is" "green" "+")
triple8
((triple6) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Charlie is green.
("Charlie" "is" "green" "+")
((triple1) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1