Dave is white. Fiona is furry. Fiona is quiet. Fiona is red. Fiona is not smart. Fiona is white. Gary is furry. Gary is kind. Gary is quiet. Gary is red. Gary is smart. Gary is white. Gary is young. Harry is furry. Harry is smart. Harry is young. If someone is white and not smart then they are young.
Dave is white.
("Dave" "is" "white" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is white and not smart then they are young.
((("someone" "is" "white" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "young" "+"))
Harry is smart.
True
1
proof
[(triple15)]
("Harry" "is" "smart" "+")
triple15
Fiona is not white.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "white" "-")
triple6
Fiona is young.
True
3
proof
[(((triple6 triple5) -> rule1))]
("Fiona" "is" "young" "+")
((triple6 triple5) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not young.
False
3
inv-proof
[(((triple6 triple5) -> rule1))]
("Fiona" "is" "young" "-")
((triple6 triple5) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "young" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Dave is not furry.
Unknown
inv-random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Dave is white.[(triple1)] Fiona is furry.[(triple2)] Fiona is not smart.[(triple5)] Fiona is quiet.[(triple3)] Fiona is red.[(triple4)] Fiona is white.[(triple6)] Gary is furry.[(triple7)] Gary is kind.[(triple8)] Gary is quiet.[(triple9)] Gary is red.[(triple10)] Gary is smart.[(triple11)] Gary is white.[(triple12)] Gary is young.[(triple13)] Harry is furry.[(triple14)] Harry is smart.[(triple15)] Harry is young.[(triple16)] @1: Fiona is young.[(((triple6 triple5) -> rule1))]
Dave is white.
("Dave" "is" "white" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple3
Fiona is red.
("Fiona" "is" "red" "+")
triple4
Fiona is white.
("Fiona" "is" "white" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is smart.
("Gary" "is" "smart" "+")
triple11
Gary is white.
("Gary" "is" "white" "+")
triple12
Gary is young.
("Gary" "is" "young" "+")
triple13
Harry is furry.
("Harry" "is" "furry" "+")
triple14
Harry is smart.
("Harry" "is" "smart" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
Fiona is young.
("Fiona" "is" "young" "+")
((triple6 triple5) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1