Erin is not smart. Fiona is big. Gary is smart. Harry is round. If Gary is not furry and Gary is not round then Gary is not young. All blue, round things are not white. All round things are blue. If something is white and not furry then it is big. If Harry is not blue then Harry is not young. If something is round then it is smart. Round, young things are smart. Furry, smart things are young.
Erin is not smart.
("Erin" "is" "smart" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is round.
("Harry" "is" "round" "+")
If Gary is not furry and Gary is not round then Gary is not young.
((("Gary" "is" "furry" "~") ("Gary" "is" "round" "~")) -> ("Gary" "is" "young" "-"))
All blue, round things are not white.
((("something" "is" "blue" "+") ("something" "is" "round" "+")) -> ("something" "is" "white" "-"))
All round things are blue.
((("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
If something is white and not furry then it is big.
((("something" "is" "white" "+") ("something" "is" "furry" "~")) -> ("something" "is" "big" "+"))
If Harry is not blue then Harry is not young.
((("Harry" "is" "blue" "~")) -> ("Harry" "is" "young" "-"))
If something is round then it is smart.
((("something" "is" "round" "+")) -> ("something" "is" "smart" "+"))
Round, young things are smart.
((("something" "is" "round" "+") ("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
Furry, smart things are young.
((("something" "is" "furry" "+") ("something" "is" "smart" "+")) -> ("something" "is" "young" "+"))
Harry is round.
True
1
proof
[(triple4)]
("Harry" "is" "round" "+")
triple4
Erin is smart.
False
1
inv-proof
[(triple1)]
("Erin" "is" "smart" "+")
triple1
Fiona is not young.
Unknown
inv-rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Fiona" "is" "young" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Erin is not smart.[(triple1)] Fiona is big.[(triple2)] Gary is smart.[(triple3)] Harry is round.[(triple4)] @1: Harry is blue.[(((triple4) -> rule3))] Harry is smart.[(((triple4) -> rule6))] @2: Harry is not white.[(((((triple4) -> rule3) triple4) -> rule2))]
Erin is not smart.
("Erin" "is" "smart" "-")
triple1
Fiona is big.
("Fiona" "is" "big" "+")
triple2
Gary is smart.
("Gary" "is" "smart" "+")
triple3
Harry is round.
("Harry" "is" "round" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
((triple4) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
((triple4) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is not white.
("Harry" "is" "white" "-")
((((triple4) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2