Anne is furry. Anne is green. Anne is not nice. Anne is rough. Anne is round. Anne is young. Dave is furry. Dave is rough. Dave is not round. Dave is smart. Dave is young. Fiona is rough. Harry is furry. Harry is round. Harry is young. If Harry is green then Harry is round. Smart things are young. All furry things are young. All smart, green things are rough. If something is round and nice then it is not rough. If Fiona is round and Fiona is green then Fiona is young. Smart things are not nice. All young, green things are not nice.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is not nice.
("Anne" "is" "nice" "-")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is not round.
("Dave" "is" "round" "-")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
If Harry is green then Harry is round.
((("Harry" "is" "green" "+")) -> ("Harry" "is" "round" "+"))
Smart things are young.
((("something" "is" "smart" "+")) -> ("something" "is" "young" "+"))
All furry things are young.
((("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
All smart, green things are rough.
((("something" "is" "smart" "+") ("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
If something is round and nice then it is not rough.
((("something" "is" "round" "+") ("something" "is" "nice" "+")) -> ("something" "is" "rough" "-"))
If Fiona is round and Fiona is green then Fiona is young.
((("Fiona" "is" "round" "+") ("Fiona" "is" "green" "+")) -> ("Fiona" "is" "young" "+"))
Smart things are not nice.
((("something" "is" "smart" "+")) -> ("something" "is" "nice" "-"))
All young, green things are not nice.
((("something" "is" "young" "+") ("something" "is" "green" "+")) -> ("something" "is" "nice" "-"))
Dave is furry.
True
1
proof
[(triple7)]
("Dave" "is" "furry" "+")
triple7
Anne is not round.
False
1
inv-proof
[(triple5)]
("Anne" "is" "round" "-")
triple5
Dave is not nice.
True
2
proof
[(((triple10) -> rule7))]
("Dave" "is" "nice" "-")
((triple10) -> (rule7 % int1))
Dave is not nice.
("Dave" "is" "nice" "-")
int1
Dave is nice.
False
2
inv-proof
[(((triple10) -> rule7))]
("Dave" "is" "nice" "+")
((triple10) -> (rule7 % int1))
Dave is not nice.
("Dave" "is" "nice" "-")
int1
Fiona is not young.
Unknown
inv-rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "young" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "rough" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is not nice.[(triple3 OR ((triple6 triple2) -> rule8) OR ((((triple1) -> rule3) triple2) -> rule8))] Anne is rough.[(triple4)] Anne is round.[(triple5)] Anne is young.[(triple6 OR ((triple1) -> rule3))] Dave is furry.[(triple7)] Dave is not round.[(triple9)] Dave is rough.[(triple8)] Dave is smart.[(triple10)] Dave is young.[(triple11 OR ((triple10) -> rule2) OR ((triple7) -> rule3))] Fiona is rough.[(triple12)] Harry is furry.[(triple13)] Harry is round.[(triple14)] Harry is young.[(triple15 OR ((triple13) -> rule3))] @1: Dave is not nice.[(((triple10) -> rule7))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is not nice.
("Anne" "is" "nice" "-")
triple3
((triple6 triple2) -> (rule8 % int1))
Anne is not nice.
("Anne" "is" "nice" "-")
int1
((((triple1) -> (rule3 % int2)) triple2) -> (rule8 % int1))
Anne is not nice.
("Anne" "is" "nice" "-")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple5
Anne is young.
("Anne" "is" "young" "+")
triple6
((triple1) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
triple7
Dave is not round.
("Dave" "is" "round" "-")
triple9
Dave is rough.
("Dave" "is" "rough" "+")
triple8
Dave is smart.
("Dave" "is" "smart" "+")
triple10
Dave is young.
("Dave" "is" "young" "+")
triple11
((triple10) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((triple7) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple12
Harry is furry.
("Harry" "is" "furry" "+")
triple13
Harry is round.
("Harry" "is" "round" "+")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple15
((triple13) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Dave is not nice.
("Dave" "is" "nice" "-")
((triple10) -> (rule7 % int1))
Dave is not nice.
("Dave" "is" "nice" "-")
int1