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