Dave is blue. Dave is not furry. Dave is not rough. Dave is round. Dave is white. Erin is blue. Erin is nice. Erin is quiet. Erin is rough. Erin is round. Fiona is blue. Fiona is nice. Harry is not blue. Harry is furry. Harry is nice. Harry is not quiet. If Harry is quiet and Harry is not round then Harry is not furry. Rough things are white. All furry things are rough. If Fiona is round then Fiona is furry. If Erin is not nice then Erin is not quiet. If Erin is round and Erin is nice then Erin is rough.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is not furry.
("Dave" "is" "furry" "-")
Dave is not rough.
("Dave" "is" "rough" "-")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
If Harry is quiet and Harry is not round then Harry is not furry.
((("Harry" "is" "quiet" "+") ("Harry" "is" "round" "~")) -> ("Harry" "is" "furry" "-"))
Rough things are white.
((("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
All furry things are rough.
((("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
If Fiona is round then Fiona is furry.
((("Fiona" "is" "round" "+")) -> ("Fiona" "is" "furry" "+"))
If Erin is not nice then Erin is not quiet.
((("Erin" "is" "nice" "~")) -> ("Erin" "is" "quiet" "-"))
If Erin is round and Erin is nice then Erin is rough.
((("Erin" "is" "round" "+") ("Erin" "is" "nice" "+")) -> ("Erin" "is" "rough" "+"))
Fiona is nice.
True
1
proof
[(triple12)]
("Fiona" "is" "nice" "+")
triple12
Erin is not rough.
False
1
inv-proof
[(triple9 OR ((triple10 triple7) -> rule6))]
("Erin" "is" "rough" "-")
triple9
((triple10 triple7) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Harry is rough.
True
2
proof
[(((triple14) -> rule3))]
("Harry" "is" "rough" "+")
((triple14) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not rough.
False
2
inv-proof
[(((triple14) -> rule3))]
("Harry" "is" "rough" "-")
((triple14) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is white.
True
3
proof
[(((((triple14) -> rule3)) -> rule2))]
("Harry" "is" "white" "+")
((((triple14) -> (rule3 % int2))) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is not white.
False
3
inv-proof
[(((((triple14) -> rule3)) -> rule2))]
("Harry" "is" "white" "-")
((((triple14) -> (rule3 % int2))) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Fiona is not white.
Unknown
inv-rconc
[@3: Fiona is white.[CWA. Example of deepest failure = (rule2 <- rule3 <- rule4 <- FAIL)]]
("Fiona" "is" "white" "-")
Fiona is rough.
Unknown
rconc
[@2: Fiona is rough.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Fiona" "is" "rough" "+")
Fiona is not furry.
Unknown
inv-rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "furry" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
@0: Dave is blue.[(triple1)] Dave is not furry.[(triple2)] Dave is not rough.[(triple3)] Dave is round.[(triple4)] Dave is white.[(triple5)] Erin is blue.[(triple6)] Erin is nice.[(triple7)] Erin is quiet.[(triple8)] Erin is rough.[(triple9 OR ((triple10 triple7) -> rule6))] Erin is round.[(triple10)] Fiona is blue.[(triple11)] Fiona is nice.[(triple12)] Harry is furry.[(triple14)] Harry is nice.[(triple15)] Harry is not blue.[(triple13)] Harry is not quiet.[(triple16)] @1: Erin is white.[(((triple9) -> rule2) OR ((((triple10 triple7) -> rule6)) -> rule2))] Harry is rough.[(((triple14) -> rule3))] @2: Harry is white.[(((((triple14) -> rule3)) -> rule2))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is not furry.
("Dave" "is" "furry" "-")
triple2
Dave is not rough.
("Dave" "is" "rough" "-")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple4
Dave is white.
("Dave" "is" "white" "+")
triple5
Erin is blue.
("Erin" "is" "blue" "+")
triple6
Erin is nice.
("Erin" "is" "nice" "+")
triple7
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
Erin is rough.
("Erin" "is" "rough" "+")
triple9
((triple10 triple7) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
triple10
Fiona is blue.
("Fiona" "is" "blue" "+")
triple11
Fiona is nice.
("Fiona" "is" "nice" "+")
triple12
Harry is furry.
("Harry" "is" "furry" "+")
triple14
Harry is nice.
("Harry" "is" "nice" "+")
triple15
Harry is not blue.
("Harry" "is" "blue" "-")
triple13
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple16
Erin is white.
("Erin" "is" "white" "+")
((triple9) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple10 triple7) -> (rule6 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
((triple14) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((((triple14) -> (rule3 % int2))) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2