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