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