Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is smart. Dave is nice. Dave is quiet. Dave is rough. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is smart. All rough things are green. All blue, nice things are green. Smart things are blue.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
All rough things are green.
((("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
All blue, nice things are green.
((("something" "is" "blue" "+") ("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
Smart things are blue.
((("something" "is" "smart" "+")) -> ("something" "is" "blue" "+"))
Charlie is furry.
True
1
proof
[(triple1)]
("Charlie" "is" "furry" "+")
triple1
Charlie is not quiet.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "quiet" "-")
triple3
Fiona is green.
True
3
proof
[(((triple8 triple10) -> rule2) OR ((((triple12) -> rule3) triple10) -> rule2))]
("Fiona" "is" "green" "+")
((triple8 triple10) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((triple12) -> (rule3 % int2)) triple10) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Charlie is not blue.
False
2
inv-proof
[(((triple4) -> rule3))]
("Charlie" "is" "blue" "-")
((triple4) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "blue" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
Dave is not smart.
Unknown
inv-random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Charlie is furry.[(triple1)] Charlie is nice.[(triple2)] Charlie is quiet.[(triple3)] Charlie is smart.[(triple4)] Dave is nice.[(triple5)] Dave is quiet.[(triple6)] Dave is rough.[(triple7)] Fiona is blue.[(triple8 OR ((triple12) -> rule3))] Fiona is furry.[(triple9)] Fiona is nice.[(triple10)] Fiona is quiet.[(triple11)] Fiona is smart.[(triple12)] @1: Charlie is blue.[(((triple4) -> rule3))] Dave is green.[(((triple7) -> rule1))] Fiona is green.[(((triple8 triple10) -> rule2) OR ((((triple12) -> rule3) triple10) -> rule2))] @2: Charlie is green.[(((((triple4) -> rule3) triple2) -> rule2))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
Charlie is smart.
("Charlie" "is" "smart" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Dave is quiet.
("Dave" "is" "quiet" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
((triple12) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple4) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple7) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple8 triple10) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((triple12) -> (rule3 % int2)) triple10) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
((((triple4) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2