Fiona is blue. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is smart. Fiona is young. Gary is furry. Gary is young. Harry is blue. Harry is furry. If Harry is young then Harry is nice. Kind things are young. If something is blue and furry then it is kind. If something is kind then it is smart. Quiet things are smart. All quiet things are kind.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
If Harry is young then Harry is nice.
((("Harry" "is" "young" "+")) -> ("Harry" "is" "nice" "+"))
Kind things are young.
((("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
If something is blue and furry then it is kind.
((("something" "is" "blue" "+") ("something" "is" "furry" "+")) -> ("something" "is" "kind" "+"))
If something is kind then it is smart.
((("something" "is" "kind" "+")) -> ("something" "is" "smart" "+"))
Quiet things are smart.
((("something" "is" "quiet" "+")) -> ("something" "is" "smart" "+"))
All quiet things are kind.
((("something" "is" "quiet" "+")) -> ("something" "is" "kind" "+"))
Fiona is nice.
True
1
proof
[(triple3)]
("Fiona" "is" "nice" "+")
triple3
Harry is not furry.
False
1
inv-proof
[(triple10)]
("Harry" "is" "furry" "-")
triple10
Harry is kind.
True
3
proof
[(((triple9 triple10) -> rule3))]
("Harry" "is" "kind" "+")
((triple9 triple10) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not kind.
False
3
inv-proof
[(((triple9 triple10) -> rule3))]
("Harry" "is" "kind" "-")
((triple9 triple10) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
True
4
proof
[(((((triple9 triple10) -> rule3)) -> rule4))]
("Harry" "is" "smart" "+")
((((triple9 triple10) -> (rule3 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is not young.
False
4
inv-proof
[(((((triple9 triple10) -> rule3)) -> rule2))]
("Harry" "is" "young" "-")
((((triple9 triple10) -> (rule3 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "kind" "-")
Gary is smart.
Unknown
rconc
[@2: Gary is smart.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Gary" "is" "smart" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Fiona is blue.[(triple1)] Fiona is kind.[(triple2 OR ((triple4) -> rule6))] Fiona is nice.[(triple3)] Fiona is quiet.[(triple4)] Fiona is smart.[(triple5 OR ((triple2) -> rule4) OR ((triple4) -> rule5) OR ((((triple4) -> rule6)) -> rule4))] Fiona is young.[(triple6 OR ((triple2) -> rule2) OR ((((triple4) -> rule6)) -> rule2))] Gary is furry.[(triple7)] Gary is young.[(triple8)] Harry is blue.[(triple9)] Harry is furry.[(triple10)] @1: Harry is kind.[(((triple9 triple10) -> rule3))] @2: Harry is smart.[(((((triple9 triple10) -> rule3)) -> rule4))] Harry is young.[(((((triple9 triple10) -> rule3)) -> rule2))] @3: Harry is nice.[(((((((triple9 triple10) -> rule3)) -> rule2)) -> rule1))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
((triple4) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
Fiona is smart.
("Fiona" "is" "smart" "+")
triple5
((triple2) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple4) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple4) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
triple6
((triple2) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((((triple4) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
triple8
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is furry.
("Harry" "is" "furry" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
((triple9 triple10) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
((((triple9 triple10) -> (rule3 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((((triple9 triple10) -> (rule3 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((((((triple9 triple10) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3