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