Fiona is not cold. Gary is big. Harry is round. Round things are young. If Fiona is nice and Fiona is young then Fiona is smart. If Harry is not furry then Harry is not big. All young things are big. Young, furry things are not nice. If something is smart then it is not cold. If something is young then it is smart. If something is nice and not young then it is not smart.
Fiona is not cold.
("Fiona" "is" "cold" "-")
Gary is big.
("Gary" "is" "big" "+")
Harry is round.
("Harry" "is" "round" "+")
Round things are young.
((("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
If Fiona is nice and Fiona is young then Fiona is smart.
((("Fiona" "is" "nice" "+") ("Fiona" "is" "young" "+")) -> ("Fiona" "is" "smart" "+"))
If Harry is not furry then Harry is not big.
((("Harry" "is" "furry" "~")) -> ("Harry" "is" "big" "-"))
All young things are big.
((("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
Young, furry things are not nice.
((("something" "is" "young" "+") ("something" "is" "furry" "+")) -> ("something" "is" "nice" "-"))
If something is smart then it is not cold.
((("something" "is" "smart" "+")) -> ("something" "is" "cold" "-"))
If something is young then it is smart.
((("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
If something is nice and not young then it is not smart.
((("something" "is" "nice" "+") ("something" "is" "young" "~")) -> ("something" "is" "smart" "-"))
Gary is big.
True
1
proof
[(triple2)]
("Gary" "is" "big" "+")
triple2
Harry is not round.
False
1
inv-proof
[(triple3)]
("Harry" "is" "round" "-")
triple3
Harry is young.
True
2
proof
[(((triple3) -> rule1))]
("Harry" "is" "young" "+")
((triple3) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is not young.
False
2
inv-proof
[(((triple3) -> rule1))]
("Harry" "is" "young" "-")
((triple3) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
True
3
proof
[(((((triple3) -> rule1)) -> rule7))]
("Harry" "is" "smart" "+")
((((triple3) -> (rule1 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is not big.
False
3
inv-proof
[(((((triple3) -> rule1)) -> rule4))]
("Harry" "is" "big" "-")
((((triple3) -> (rule1 % int2))) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Gary is not smart.
Unknown
inv-rconc
[@2: Gary is smart.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Gary" "is" "smart" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "young" "+")
Fiona is not smart.
Unknown
inv-rconc
[@2: Fiona is smart.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Fiona" "is" "smart" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Fiona is not cold.[(triple1)] Gary is big.[(triple2)] Harry is round.[(triple3)] @1: Harry is young.[(((triple3) -> rule1))] @2: Harry is big.[(((((triple3) -> rule1)) -> rule4))] Harry is smart.[(((((triple3) -> rule1)) -> rule7))] @3: Harry is not cold.[(((((((triple3) -> rule1)) -> rule7)) -> rule6))]
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple1
Gary is big.
("Gary" "is" "big" "+")
triple2
Harry is round.
("Harry" "is" "round" "+")
triple3
Harry is young.
("Harry" "is" "young" "+")
((triple3) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((((triple3) -> (rule1 % int2))) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
((((triple3) -> (rule1 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is not cold.
("Harry" "is" "cold" "-")
((((((triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Harry is not cold.
("Harry" "is" "cold" "-")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3