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