Anne is smart. Anne is not white. Fiona is cold. Fiona is young. Gary is red. Harry is nice. Harry is red. Harry is smart. Harry is white. Harry is young. If Anne is quiet and Anne is not cold then Anne is not nice. Smart, young people are nice. If someone is cold then they are quiet. If someone is young and not cold then they are quiet. All quiet people are young. All nice people are smart. All young people are red. If Gary is smart and Gary is not young then Gary is not white.
Anne is smart.
("Anne" "is" "smart" "+")
Anne is not white.
("Anne" "is" "white" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
If Anne is quiet and Anne is not cold then Anne is not nice.
((("Anne" "is" "quiet" "+") ("Anne" "is" "cold" "~")) -> ("Anne" "is" "nice" "-"))
Smart, young people are nice.
((("someone" "is" "smart" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold then they are quiet.
((("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
If someone is young and not cold then they are quiet.
((("someone" "is" "young" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "quiet" "+"))
All quiet people are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
All nice people are smart.
((("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
All young people are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If Gary is smart and Gary is not young then Gary is not white.
((("Gary" "is" "smart" "+") ("Gary" "is" "young" "~")) -> ("Gary" "is" "white" "-"))
Harry is white.
True
1
proof
[(triple9)]
("Harry" "is" "white" "+")
triple9
Gary is not red.
False
1
inv-proof
[(triple5)]
("Gary" "is" "red" "-")
triple5
Gary is not young.
Unknown
inv-rconc
[@2: Gary is young.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Gary" "is" "young" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Anne is not white.[(triple2)] Anne is smart.[(triple1)] Fiona is cold.[(triple3)] Fiona is young.[(triple4 OR ((((triple3) -> rule3)) -> rule5))] Gary is red.[(triple5)] Harry is nice.[(triple6 OR ((triple8 triple10) -> rule2))] Harry is red.[(triple7 OR ((triple10) -> rule7))] Harry is smart.[(triple8 OR ((triple6) -> rule6))] Harry is white.[(triple9)] Harry is young.[(triple10)] @1: Fiona is quiet.[(((triple3) -> rule3))] Fiona is red.[(((triple4) -> rule7) OR ((((((triple3) -> rule3)) -> rule5)) -> rule7))]
Anne is not white.
("Anne" "is" "white" "-")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple3
Fiona is young.
("Fiona" "is" "young" "+")
triple4
((((triple3) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
triple5
Harry is nice.
("Harry" "is" "nice" "+")
triple6
((triple8 triple10) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
triple7
((triple10) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
triple8
((triple6) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple3) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple4) -> (rule7 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((((((triple3) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3