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