Dave is not blue. Dave is furry. Dave is nice. Dave is quiet. Dave is not round. Dave is white. Dave is young. Fiona is not blue. Fiona is furry. Fiona is round. Gary is not blue. Gary is nice. Gary is quiet. Gary is white. Gary is young. All furry people are nice. Nice, round people are quiet.
Dave is not blue.
("Dave" "is" "blue" "-")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is not round.
("Dave" "is" "round" "-")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
All furry people are nice.
((("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
Nice, round people are quiet.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
Gary is nice.
True
1
proof
[(triple12)]
("Gary" "is" "nice" "+")
triple12
Dave is not young.
False
1
inv-proof
[(triple7)]
("Dave" "is" "young" "-")
triple7
Fiona is nice.
True
2
proof
[(((triple9) -> rule1))]
("Fiona" "is" "nice" "+")
((triple9) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not nice.
False
2
inv-proof
[(((triple9) -> rule1))]
("Fiona" "is" "nice" "-")
((triple9) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
True
4
proof
[(((((triple9) -> rule1) triple10) -> rule2))]
("Fiona" "is" "quiet" "+")
((((triple9) -> (rule1 % int2)) triple10) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is not quiet.
False
4
inv-proof
[(((((triple9) -> rule1) triple10) -> rule2))]
("Fiona" "is" "quiet" "-")
((((triple9) -> (rule1 % int2)) triple10) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Dave is furry.[(triple2)] Dave is nice.[(triple3 OR ((triple2) -> rule1))] Dave is not blue.[(triple1)] Dave is not round.[(triple5)] Dave is quiet.[(triple4)] Dave is white.[(triple6)] Dave is young.[(triple7)] Fiona is furry.[(triple9)] Fiona is not blue.[(triple8)] Fiona is round.[(triple10)] Gary is nice.[(triple12)] Gary is not blue.[(triple11)] Gary is quiet.[(triple13)] Gary is white.[(triple14)] Gary is young.[(triple15)] @1: Fiona is nice.[(((triple9) -> rule1))] @2: Fiona is quiet.[(((((triple9) -> rule1) triple10) -> rule2))]
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple3
((triple2) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not blue.
("Dave" "is" "blue" "-")
triple1
Dave is not round.
("Dave" "is" "round" "-")
triple5
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
Dave is white.
("Dave" "is" "white" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple8
Fiona is round.
("Fiona" "is" "round" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple12
Gary is not blue.
("Gary" "is" "blue" "-")
triple11
Gary is quiet.
("Gary" "is" "quiet" "+")
triple13
Gary is white.
("Gary" "is" "white" "+")
triple14
Gary is young.
("Gary" "is" "young" "+")
triple15
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple9) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple9) -> (rule1 % int2)) triple10) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2