Charlie is not furry. Charlie is not red. Charlie is rough. Charlie is smart. Charlie is white. Charlie is young. Dave is smart. Dave is not white. Fiona is smart. Fiona is white. If something is big and not young then it is red. All furry, smart things are red. All red things are rough. All smart things are rough. If something is red and white then it is rough. If Dave is rough and Dave is furry then Dave is white.
Charlie is not furry.
("Charlie" "is" "furry" "-")
Charlie is not red.
("Charlie" "is" "red" "-")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is not white.
("Dave" "is" "white" "-")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If something is big and not young then it is red.
((("something" "is" "big" "+") ("something" "is" "young" "~")) -> ("something" "is" "red" "+"))
All furry, smart things are red.
((("something" "is" "furry" "+") ("something" "is" "smart" "+")) -> ("something" "is" "red" "+"))
All red things are rough.
((("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
All smart things are rough.
((("something" "is" "smart" "+")) -> ("something" "is" "rough" "+"))
If something is red and white then it is rough.
((("something" "is" "red" "+") ("something" "is" "white" "+")) -> ("something" "is" "rough" "+"))
If Dave is rough and Dave is furry then Dave is white.
((("Dave" "is" "rough" "+") ("Dave" "is" "furry" "+")) -> ("Dave" "is" "white" "+"))
Fiona is smart.
True
1
proof
[(triple9)]
("Fiona" "is" "smart" "+")
triple9
Charlie is red.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "red" "+")
triple2
Fiona is not red.
Unknown
inv-rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "red" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
@0: Charlie is not furry.[(triple1)] Charlie is not red.[(triple2)] Charlie is rough.[(triple3 OR ((triple4) -> rule4))] Charlie is smart.[(triple4)] Charlie is white.[(triple5)] Charlie is young.[(triple6)] Dave is not white.[(triple8)] Dave is smart.[(triple7)] Fiona is smart.[(triple9)] Fiona is white.[(triple10)] @1: Dave is rough.[(((triple7) -> rule4))] Fiona is rough.[(((triple9) -> rule4))]
Charlie is not furry.
("Charlie" "is" "furry" "-")
triple1
Charlie is not red.
("Charlie" "is" "red" "-")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
((triple4) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple4
Charlie is white.
("Charlie" "is" "white" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple6
Dave is not white.
("Dave" "is" "white" "-")
triple8
Dave is smart.
("Dave" "is" "smart" "+")
triple7
Fiona is smart.
("Fiona" "is" "smart" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Dave is rough.
("Dave" "is" "rough" "+")
((triple7) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple9) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1