Bob is furry. Bob is green. Bob is rough. Bob is young. Charlie is furry. Charlie is green. Charlie is rough. Charlie is round. Charlie is smart. Charlie is white. Charlie is young. Fiona is furry. Fiona is green. Fiona is rough. Fiona is round. Fiona is white. Furry people are rough.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Furry people are rough.
((("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "+"))
Bob is furry.
True
1
proof
[(triple1)]
("Bob" "is" "furry" "+")
triple1
Charlie is not young.
False
1
inv-proof
[(triple11)]
("Charlie" "is" "young" "-")
triple11
Bob is not white.
Unknown
inv-random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is rough.[(triple3 OR ((triple1) -> rule1))] Bob is young.[(triple4)] Charlie is furry.[(triple5)] Charlie is green.[(triple6)] Charlie is rough.[(triple7 OR ((triple5) -> rule1))] Charlie is round.[(triple8)] Charlie is smart.[(triple9)] Charlie is white.[(triple10)] Charlie is young.[(triple11)] Fiona is furry.[(triple12)] Fiona is green.[(triple13)] Fiona is rough.[(triple14 OR ((triple12) -> rule1))] Fiona is round.[(triple15)] Fiona is white.[(triple16)]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
((triple1) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
triple4
Charlie is furry.
("Charlie" "is" "furry" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
triple7
((triple5) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
triple8
Charlie is smart.
("Charlie" "is" "smart" "+")
triple9
Charlie is white.
("Charlie" "is" "white" "+")
triple10
Charlie is young.
("Charlie" "is" "young" "+")
triple11
Fiona is furry.
("Fiona" "is" "furry" "+")
triple12
Fiona is green.
("Fiona" "is" "green" "+")
triple13
Fiona is rough.
("Fiona" "is" "rough" "+")
triple14
((triple12) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
triple15
Fiona is white.
("Fiona" "is" "white" "+")
triple16