Charlie is furry. Charlie is young. Erin is blue. Erin is furry. Gary is smart. Gary is white. Harry is furry. All furry, young things are white. All furry things are smart. Big things are furry. Smart things are young. Big things are rough. All white things are young.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is furry.
("Harry" "is" "furry" "+")
All furry, young things are white.
((("something" "is" "furry" "+") ("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
All furry things are smart.
((("something" "is" "furry" "+")) -> ("something" "is" "smart" "+"))
Big things are furry.
((("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
Smart things are young.
((("something" "is" "smart" "+")) -> ("something" "is" "young" "+"))
Big things are rough.
((("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
All white things are young.
((("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
Gary is white.
True
1
proof
[(triple6)]
("Gary" "is" "white" "+")
triple6
Erin is not furry.
False
1
inv-proof
[(triple4)]
("Erin" "is" "furry" "-")
triple4
Erin is not rough.
Unknown
inv-rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "rough" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Charlie is furry.[(triple1)] Charlie is young.[(triple2 OR ((((triple1) -> rule2)) -> rule4))] Erin is blue.[(triple3)] Erin is furry.[(triple4)] Gary is smart.[(triple5)] Gary is white.[(triple6)] Harry is furry.[(triple7)] @1: Charlie is smart.[(((triple1) -> rule2))] Charlie is white.[(((triple1 triple2) -> rule1) OR ((triple1 ((((triple1) -> rule2)) -> rule4)) -> rule1))] Erin is smart.[(((triple4) -> rule2))] Gary is young.[(((triple5) -> rule4) OR ((triple6) -> rule6))] Harry is smart.[(((triple7) -> rule2))] @2: Erin is young.[(((((triple4) -> rule2)) -> rule4))] Harry is young.[(((((triple7) -> rule2)) -> rule4))] @3: Erin is white.[(((triple4 ((((triple4) -> rule2)) -> rule4)) -> rule1))] Harry is white.[(((triple7 ((((triple7) -> rule2)) -> rule4)) -> rule1))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Charlie is young.
("Charlie" "is" "young" "+")
triple2
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
triple4
Gary is smart.
("Gary" "is" "smart" "+")
triple5
Gary is white.
("Gary" "is" "white" "+")
triple6
Harry is furry.
("Harry" "is" "furry" "+")
triple7
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple1) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
((triple1 triple2) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((triple1 ((((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
((triple4) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple5) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple6) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
((triple7) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((((triple4) -> (rule2 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((((triple7) -> (rule2 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
((triple4 ((((triple4) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
((triple7 ((((triple7) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3