Charlie is blue. Charlie is kind. Charlie is round. Dave is blue. Dave is furry. Dave is quiet. Dave is rough. Dave is round. Dave is young. Erin is not furry. Erin is not quiet. Erin is young. Fiona is kind. Fiona is not quiet. Fiona is round. If something is furry and blue then it is rough. If something is blue then it is furry.
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 furry.
("Dave" "is" "furry" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Erin is young.
("Erin" "is" "young" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is round.
("Fiona" "is" "round" "+")
If something is furry and blue then it is rough.
((("something" "is" "furry" "+") ("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
If something is blue then it is furry.
((("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
Dave is rough.
True
1
proof
[(triple7 OR ((triple5 triple4) -> rule1) OR ((((triple4) -> rule2) triple4) -> rule1))]
("Dave" "is" "rough" "+")
triple7
((triple5 triple4) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((((triple4) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is not blue.
False
1
inv-proof
[(triple4)]
("Dave" "is" "blue" "-")
triple4
Charlie is furry.
True
2
proof
[(((triple1) -> rule2))]
("Charlie" "is" "furry" "+")
((triple1) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is not furry.
False
2
inv-proof
[(((triple1) -> rule2))]
("Charlie" "is" "furry" "-")
((triple1) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is rough.
True
4
proof
[(((((triple1) -> rule2) triple1) -> rule1))]
("Charlie" "is" "rough" "+")
((((triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is not rough.
False
4
inv-proof
[(((((triple1) -> rule2) triple1) -> rule1))]
("Charlie" "is" "rough" "-")
((((triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Erin is not rough.
Unknown
inv-rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "rough" "-")
Fiona is rough.
Unknown
rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "rough" "+")
Fiona is not furry.
Unknown
inv-rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "furry" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Charlie is blue.[(triple1)] Charlie is kind.[(triple2)] Charlie is round.[(triple3)] Dave is blue.[(triple4)] Dave is furry.[(triple5 OR ((triple4) -> rule2))] Dave is quiet.[(triple6)] Dave is rough.[(triple7 OR ((triple5 triple4) -> rule1) OR ((((triple4) -> rule2) triple4) -> rule1))] Dave is round.[(triple8)] Dave is young.[(triple9)] Erin is not furry.[(triple10)] Erin is not quiet.[(triple11)] Erin is young.[(triple12)] Fiona is kind.[(triple13)] Fiona is not quiet.[(triple14)] Fiona is round.[(triple15)] @1: Charlie is furry.[(((triple1) -> rule2))] @2: Charlie is rough.[(((((triple1) -> rule2) triple1) -> rule1))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is furry.
("Dave" "is" "furry" "+")
triple5
((triple4) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple7
((triple5 triple4) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((((triple4) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple9
Erin is not furry.
("Erin" "is" "furry" "-")
triple10
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple11
Erin is young.
("Erin" "is" "young" "+")
triple12
Fiona is kind.
("Fiona" "is" "kind" "+")
triple13
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple14
Fiona is round.
("Fiona" "is" "round" "+")
triple15
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple1) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2