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