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