Dave is big. Dave is furry. Dave is green. Dave is rough. Dave is not smart. Dave is white. Dave is young. Fiona is big. Fiona is not furry. Fiona is rough. Fiona is white. Fiona is young. Harry is green. Harry is rough. Harry is white. Harry is young. Big people are rough. If Harry is green then Harry is big. Smart people are furry.
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is not smart.
("Dave" "is" "smart" "-")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
Big people are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If Harry is green then Harry is big.
((("Harry" "is" "green" "+")) -> ("Harry" "is" "big" "+"))
Smart people are furry.
((("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
Fiona is young.
True
1
proof
[(triple12)]
("Fiona" "is" "young" "+")
triple12
Fiona is furry.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "furry" "+")
triple9
Harry is big.
True
2
proof
[(((triple13) -> rule2))]
("Harry" "is" "big" "+")
((triple13) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is not big.
False
2
inv-proof
[(((triple13) -> rule2))]
("Harry" "is" "big" "-")
((triple13) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is not furry.
Unknown
inv-rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "furry" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is green.[(triple3)] Dave is not smart.[(triple5)] Dave is rough.[(triple4 OR ((triple1) -> rule1))] Dave is white.[(triple6)] Dave is young.[(triple7)] Fiona is big.[(triple8)] Fiona is not furry.[(triple9)] Fiona is rough.[(triple10 OR ((triple8) -> rule1))] Fiona is white.[(triple11)] Fiona is young.[(triple12)] Harry is green.[(triple13)] Harry is rough.[(triple14 OR ((((triple13) -> rule2)) -> rule1))] Harry is white.[(triple15)] Harry is young.[(triple16)] @1: Harry is big.[(((triple13) -> rule2))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is not smart.
("Dave" "is" "smart" "-")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple4
((triple1) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
((triple8) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Harry is green.
("Harry" "is" "green" "+")
triple13
Harry is rough.
("Harry" "is" "rough" "+")
triple14
((((triple13) -> (rule2 % int2))) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
Harry is big.
("Harry" "is" "big" "+")
((triple13) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1