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