Harry is blue. Harry is kind. Harry is young. If something is young and not big then it is smart. All cold, blue things are kind. If Harry is blue and Harry is white then Harry is not smart. If something is kind and not big then it is cold. All young things are white. All smart things are blue. Kind things are blue. Smart things are young.
Harry is blue.
("Harry" "is" "blue" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is young and not big then it is smart.
((("something" "is" "young" "+") ("something" "is" "big" "~")) -> ("something" "is" "smart" "+"))
All cold, blue things are kind.
((("something" "is" "cold" "+") ("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
If Harry is blue and Harry is white then Harry is not smart.
((("Harry" "is" "blue" "+") ("Harry" "is" "white" "+")) -> ("Harry" "is" "smart" "-"))
If something is kind and not big then it is cold.
((("something" "is" "kind" "+") ("something" "is" "big" "~")) -> ("something" "is" "cold" "+"))
All young things are white.
((("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
All smart things are blue.
((("something" "is" "smart" "+")) -> ("something" "is" "blue" "+"))
Kind things are blue.
((("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
Smart things are young.
((("something" "is" "smart" "+")) -> ("something" "is" "young" "+"))
Harry is young.
True
1
proof
[(triple3)]
("Harry" "is" "young" "+")
triple3
Harry is not young.
False
1
inv-proof
[(triple3)]
("Harry" "is" "young" "-")
triple3
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "cold" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Harry is blue.[(triple1 OR ((triple2) -> rule7))] Harry is kind.[(triple2)] Harry is young.[(triple3)] @1: Harry is white.[(((triple3) -> rule5))] @2: Harry is not smart.[(((triple1 ((triple3) -> rule5)) -> rule3) OR ((((triple2) -> rule7) ((triple3) -> rule5)) -> rule3))]
Harry is blue.
("Harry" "is" "blue" "+")
triple1
((triple2) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
triple2
Harry is young.
("Harry" "is" "young" "+")
triple3
Harry is white.
("Harry" "is" "white" "+")
((triple3) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is not smart.
("Harry" "is" "smart" "-")
((triple1 ((triple3) -> (rule5 % int2))) -> (rule3 % int1))
Harry is not smart.
("Harry" "is" "smart" "-")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple2) -> (rule7 % int3)) ((triple3) -> (rule5 % int2))) -> (rule3 % int1))
Harry is not smart.
("Harry" "is" "smart" "-")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3