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