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